| 000 | 00626 a2200181 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20170207153211.0 | ||
| 040 | _cNust | ||
| 082 | _a005.1 | ||
| 100 | _aAli, Naveed (MSCS-12) | ||
| 245 |
_aEquivalence verification of arithmetic data paths with multiple word length operands _cNaveed Ali |
||
| 260 |
_bMCS,NUST _c2007 _aRawalpindi |
||
| 300 | _ax, 55, p.; | ||
| 505 | _aIntroduction (page-1) Literature review (page-5) Significance of formal methods (page-10) Methodology (page-16) System design (page-25) Conclusion (page-46) | ||
| 538 | _aAlmirah No 73 Shelf No 2 | ||
| 650 | _aPG Thesis | ||
| 651 | _aMSCS-12 | ||
| 942 | _cTHS | ||
| 999 |
_c181388 _d181388 |
||