000 00475nam a2200133Ia 4500
008 231221s9999 xx 000 0 und d
020 _a978-0-387-71733-3
041 _aEnglish
100 _aAlan Wiemann
245 0 _aStandardized Functional Verification
260 _c2008
_bSpringer US
_aNew York
650 _aCircuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design; Electrical Engineering; Electronics and Microelectronics, Instrumentation
942 _cEB
999 _c225737
_d225737