000			01612nam a22004095a 4500
005			20250914164723.0
006			m d
007			cr nn 008maaau
008			090217s2005 mau j eng d
020			_a9780387261737 (electronic bk.)
020			_a9780387260495 (paper)
035			_a(Springer)978-0-387-26049-5
039		9	_a200902171214 _bmuhaimin _c200902171155 _dmuhaimin _c200902021310 _dmuhaimin _c200809161716 _dmuhaimin _y04-03-2008 _zmuhaimin
050	0	0	_aTK7885.7 _b.V55 2005
082	0	0	_a621.392 _222
090			_aebook
090			_aTK7885.7 _b.V711 2005
100	1		_aVijayaraghavan, Srikanth.
245	1	2	_aA Practical Guide for SystemVerilog Assertions _h[electronic resource] / _cby Srikanth Vijayaraghavan, Meyyappan Ramanathan.
260			_aBoston, MA : _bSpringer Science+Business Media, Inc., _c2005.
300			_axxv, 334 p. : _bill., digital ; _c24 cm.
650		0	_aVerilog (Computer hardware description language)
650	1	4	_aEngineering.
650	2	4	_aElectronic and Computer Engineering.
650	2	4	_aElectronics and Microelectronics, Instrumentation.
650	2	4	_aCircuits and Systems.
700	1		_aRamanathan, Meyyappan.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer e-books
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b137011
907			_a.b14113235 _b2022-04-06 _c2019-11-12
942			_c01 _n0 _kebook
914			_avtls003368741
998			_ae _b2008-03-04 _cm _dz _feng _gmau _y0 _z.b14113235
999			_c407304 _d407304