000 00618pam a2200169a 44500
999 _c51139
_d51139
008 140414b2010 xxu||||| |||| 00| 0 eng d
082 _a621.395
_bBHU
100 _aBHURIA, INDU (2008pev121)
245 _aTesting and Formal Varification of Arithmetic Circuits
_c: a dissertation report.
260 _aJAIPUR
_bDEPARTMENT OF ELECTRONICS AND COMMUNICATION ENGINEERING,MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY,JAIPUR
_c2010
300 _a
650 _a VLSI
650 _aElectronics & Communication Engineering
650 _aARITHMETIC CIRCUITS - VARIFICATION
700 _aAGARWAL, SANJEEV
_eSupvr.
942 _cDS