Functional Verification of Programmable Embedded Architectures A Top-Down Approach /

• Κύριοι συγγραφείς: Mishra, Prabhat (Συγγραφέας), Dutt, Nikil D. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2005.
• Θέματα: Engineering.; Microprocessors.; Special purpose computers.; Computer system failures.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Circuits and Systems.; Processor Architectures.; Special Purpose and Application-Based Systems.; Computer-Aided Engineering (CAD, CAE) and Design.; System Performance and Evaluation.; Electrical Engineering.

Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current System-on-Chip design methodology. A critical challenge in validation of such systems is the lack of a golden reference model. As a result, many ex...

Πίνακας περιεχομένων:

• to Functional Verification
• Architecture Specification
• Architecture Specification
• Validation of Specification
• Top-Down Validation
• Executable Model Generation
• Design Validation
• Functional Test Generation
• Future Directions
• Conclusions.