000 00707cam a2200193 4500
001 0000015439
008 231029s9999 xx 000 0 und d
020 _a9781441975478
_bRM224.85
040 _aPOLIMAS
090 0 0 _a621.381
_bNAV
100 1 0 _aNavabi, Zainalabedin
245 1 0 _aDigital system test and testable design /
_busing HDL models and architectures
_cZainalabedin Navabi
260 _aNew York
_bSpringer
_c2011
300 _axxiii,435p.
_bill.
_c2011
504 _aIncludes bibliographical references and indexs
650 _aDigital integrated circuits
_xdesign and construction
650 _aDigital integrated circuits
_xtesting
650 _aVerilog (computer hardware description language)
999 _c46191
_d46191