000			00471nam a2200157Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9780521859721 _c(hbk)
082			_223 _a621.381548 _bPRA
100			_aPradhan, Dhirah K.
245		0	_aPractical design verification
260			_aCambridge: _bCambridge University Press, _c2009
300			_axi, 276 p.; _bill.: _c26 cm.
650			_aIntegrated circuits -- Verification
700			_aHarris, Ian G.
942			_2ddc _cBK
999			_c17103 _d17103