000			00602pam a2200169a 44500
008			160408b2008 xxu||||| |||| 00| 0 eng d
020			_a9780123706164
082			_a621.3815 _bF955v
100			_aFujita, Masahiro, Ghosh, Indradeep
245	1		_aVerification techniques for system-level design
260			_aAmsterdam _bElsevier _c2008
300			_aviii, 240p.
440			_aThe Morgan Kaufmann Series In Systems On Silicon _v
650			_aSystem On A Chip -- Testing. 2.Integrated Circuits -- Verification. 3.Formal Method (Computer Science)
700			_aPrasad, Mukul
997			_aA160090 C
999			_c359491 _d359491