000 00512nab a2200157Ia 4500
008 230808s2002 |||||||f |||| 00| 0 eng d
100 _aFeig, Rami
_9819737
100 _aWeiss, S.
_9819738
245 0 _aFunctional Verification of Instruction Processing Units Through Control Flow Modeling
300 _a285-300 p.
650 _aFunctional Verification
_9819740
650 _aCoverage Measurement
_9769108
650 _aPipelines
_9303010
773 _d2002
_tMicroelectronics Journal
_x00262692
942 _cART
_o51
_pABUL KALAM Library
999 _c770909
_d770909