| 000 | 00899nam a22002777a 4500 | ||
|---|---|---|---|
| 003 | IIITD | ||
| 005 | 20240215020003.0 | ||
| 008 | 200120b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9783030247362 | ||
| 040 | _aIIITD | ||
| 082 |
_a621.392 _bMEH-S |
||
| 100 | _aMehta, Ashok B. | ||
| 245 |
_aSystem verilog assertions and functional coverage : _bguide to language, methodology and applications _cby Ashok B. Mehta |
||
| 250 | _a3rd ed. | ||
| 260 |
_bSpringer, _aLos Gatos : _c©2020 |
||
| 300 |
_axxxix, 507 p. : _bill. , col. ; _c24cm. |
||
| 500 | _aIncludes index | ||
| 650 | _aComputer engineering | ||
| 650 | _aElectronic circuits | ||
| 650 | _aMicroprocessors | ||
| 650 | _aMicroelectronics | ||
| 650 | _aIntegrated circuits, Verification | ||
| 650 | _aElectronic digital computers, design and construction | ||
| 650 | _aIntegrated circuits, verification | ||
| 942 |
_2ddc _cBK _02 |
||
| 999 |
_c117441 _d117441 |
||