| 000 | 00560nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s2001 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aJones, Robert B _9812989 |
||
| 100 |
_aO'Leary, John W _9831137 |
||
| 100 |
_aSeger, Carl-Johan H _9831138 |
||
| 245 | 0 | _aPractical for mal Verification in Microprocessor Design | |
| 300 | _a16-25 p. | ||
| 650 |
_aAppropriate Methodology _9780260 |
||
| 650 |
_aData-Path-Dominated Hardware _9831140 |
||
| 650 |
_a for mal Methods _9787881 |
||
| 773 |
_d2001 _tIeee Design and Test of Computers _x07407475 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c778913 _d778913 |
||