Functional Verification of Programmable Embedded Architectures A Top-Down Approach - Mishra, Prabhat; Dutt, Nikil D.; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, Inc., 2005)
Keywords: Embedded computer systems -- Testing; Computer architecture; Integrated circuits -- Verification; Engineering; Electronic and Computer Engineering; Processor Architectures; Special Purpose and Application-Based Systems; System Performance and Evaluation; Computer-Aided Engineering (CAD, CAE) and Design; Circuits and Systems