Digital System Test and Testable Design : Using HDL Models and Architectures - Zainalabedin Navabi (Springer)