000			00650nam a2200205Ia 4500
003			OSt
005			20230404112135.0
008			180620b2006 xxu||||| |||| 00| 0 eng d
020			_a0387286012
040			_cJUIT, Solan
082			_a621.3815 VAS
100			_aVasudevan, Srivatsa
245			_aEffective Functional Verification: principles and processes _cby Srivatsa Vasudevan
260			_aThe Netherlands _bSpringer Verlag, Netherlands _c2006
300			_axxiv, 256 p.
505			_a<p>Contents:</p> <p>1. An Introduction
650			_aIntegrated circuits - Verification
906			_adae0c4e6ac100b2000e7945fdb4066c4
942			_2ddc _cRB
999			_c53665 _d53665