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

• Main Authors: Mishra, Prabhat (Author), Dutt, Nikil D. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2005.
• Subjects: 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...

Table of Contents:

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