Equivalence verification of arithmetic data paths with multiple word length operands Naveed Ali
Publisher: Rawalpindi MCS,NUST 2007Description: x, 55, pSubject(s): PG Thesis | MSCS-12DDC classification: 005.1
Contents:
Introduction (page-1) Literature review (page-5) Significance of formal methods (page-10) Methodology (page-16) System design (page-25) Conclusion (page-46)
| Item type | Current location | Home library | Collection | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | NFIC | 005.1 ALI (Browse shelf) | Link to resource | Available | MCSTCS-76 |
Total holds: 0
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
There are no comments on this title.