Digital system test and testable design using HDL models and architectures - Navabi, Zainalabedin (New York Springer, 2011)
Keywords: Syetems on a chip