Digital system test and testable design using HDL models and architectures - Navabi, Zainalabedin (New Delhi Springer, 2011)
Keywords: Verilog (Computer hardware description language); Digital integrated circuits -- Design and construction; Digital integrated circuits -- Testing; Systems engineering