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 |