| 000 | 00832nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 030630s2001||||xx |||||||||||||| ||eng|| | ||
| 020 | _a0792373685 | ||
| 022 | _l0-7923-7368-5 | ||
| 041 | _aeng | ||
| 082 |
_a621.395 _bBEN |
||
| 100 |
_aBening, Lionel _eAU |
||
| 245 | 0 | _aPrinciples of Verifiable Rtl Design | |
| 250 | _a2nd | ||
| 260 |
_aBoston : _bKluwer Academic Publishers, _cc2001 |
||
| 300 |
_aXIII, 281 p. _b: ill |
||
| 504 | _aYY | ||
| 650 | _aElectronic Digital Computers Computer Aided Design | ||
| 650 | _aIntegrated Circuits Very Large Scale Integration Computer Aided Design | ||
| 650 |
_aVerilog Computer Hardware Description Language _977549 |
||
| 700 |
_aFoster, Harry _eAU |
||
| 856 |
_yTable of Contents _uhttps://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-7923-7368-5.pdf |
||
| 942 | _cBOO | ||
| 999 |
_c379691 _d379691 |
||