000 00571nam a2200193Ia 4500
008 230515s9999||||xx |||||||||||||| ||und||
020 _a9781441975478
040 _aMAIN
041 _aEnglish
082 _a621.38154
_bNAV P11
100 _aNavabi, Zainalabedin
245 0 _aDigital system test and testable design: using HDL models and architectures
_cZainalabedin Navabi
260 _aNew York
_bSpringer
_c2011
300 _axxii, 435
500 _aIncludes index
650 _aDigital electronics
650 _aElectronic apparatus and appliances
942 _cBK
999 _c5893
_d5893