Ali, Naveed   (MSCS-12) <br/><br/>
Equivalence verification of arithmetic data paths with multiple word length operands 
Naveed Ali    
 - Rawalpindi  MCS,NUST  2007 
 - x, 55, p.; 
<br/><br/>Introduction (page-1) Literature review (page-5) Significance of formal methods (page-10) Methodology (page-16) System design (page-25) Conclusion (page-46) 
<br/><br/><br/>Almirah No 73 Shelf No 2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PG Thesis
<br/><br/><label>Subjects--Geographic Terms: </label><br/>MSCS-12
<br/><br/><label>Dewey Class. No.: </label>005.1