000			00433nam a2200145Ia 4500
008			211224s9999 xx 000 0 und d
020			_a9788184893397
082			_a621.392 VIJ
100			_aVijayaraghavan, Srikanth
245		2	_aA practical guide for system verilog assertions
260			_aNew Delhi: _bSpringer (india) Private Limited, _c2005
300			_axxv, 334 p
650			_aSystem Verilog
700			_aRamanathan, Meyyappan
999			_c7013 _d7013