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 |