00626 a2200181 4500 Nust 20170207153211.0 Nust 005.1 Ali, Naveed (MSCS-12) Equivalence verification of arithmetic data paths with multiple word length operands Naveed Ali MCS,NUST 2007 Rawalpindi x, 55, p.; Introduction (page-1) Literature review (page-5) Significance of formal methods (page-10) Methodology (page-16) System design (page-25) Conclusion (page-46) Almirah No 73 Shelf No 2 PG Thesis MSCS-12 THS 181388 181388 0 0 ddc 0 0 NFIC MCS MCS 2016-12-12 0 005.1 ALI MCSTCS-76 2016-12-08 2016-12-12 BK