Functional Verification of Programmable Embedded Architectures A Top-Down Approach / by Prabhat Mishra, Nikil D. Dutt.

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Mishra, Prabhat (Author), Dutt, Nikil D. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.