000 00423nam a22001577a 4500
003 OSt
005 20251125090535.0
008 251125b |||||||| |||| 00| 0 eng d
040 _cSoET Library
082 _a621.392 VIJ
100 _aVijayaraghavan, Srikanth
_92823
245 _aPractical Guide for System Verilog Assertions
260 _aSwitzerland:
_bSpringer,
_c2005.
300 _axx, ill,. 334p.
942 _2ddc
_cBK
999 _c10042
_d10042