000 00617nam a22002417a 4500
003 OSt
005 20180912235249.0
008 090503t xxu||||| |||| 00| 0 eng d
020 _a0750676175 (PB)
040 _auniversity
_bEnglish
_cUniversity
041 _aEnglish
082 _a621.381548 MEY(PRI)
100 _aAndreas S. Meyer
245 _aPrinciples of functional verification
250 _a
260 _bElsevier and Newnes
_cc2004
440 _a
300 _ax, 206p.
500 _a
518 _aMD/1/1256/09-10/16-03-10
650 _aIntegrated circuits – Verification
942 _2ddc
_cBK
999 _c10320
_d10320