000 00361nam a2200121Ia 4500
005 20250626142911.0
008 241029s9999 xx 000 0 und d
020 _a9780387261737
100 _aVijayaraghavan, Srikanth.
245 2 _aA Practical Guide for SystemVerilog Assertions
700 _aRamanathan, Meyyappan.
856 _uhttp://dx.doi.org/10.1007/b137011
999 _c17352
_d17352