000			00471nam a2200157Ia 4500
008			230911s9999||||xx |||||||||||||| ||und||
020			_a9780123706164
082			_a621.3815 FUJ/GHO
100			_aFujita, Masahiro
245		0	_aVerification techniques for system - level design
260			_aAMSTERDAM _bElsevier _c2011
300			_a240
650			_aELECTRONICS AND COMMUNICATION ENGINEERING
700			_aFujita, MasahiroGhosh, Indradeep, Prasad, Mukul
942			_cBK
999			_c4059 _d4059