00489nam a22001217a 4500020002400000082002000024100002500044245007900069260005400148300003500202500002000237650011000257  a9788132214403 (pbk)  a621.381548bNAV  aNavabi, Zainalabedin  aDigital system test and testable designbusing HDL models and architecture  aNew DelhibSpringer (India) Private Limitedc2014  axxii, 435 p.b: ill.c; 24 cm.  aIncludes index.  aSystems engineeringaEngineeringvDigital integrated circuitsvSystem verilogvMathematicsvVerilogvFEAS