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: Engineering; Computer science; Software engineering; Computer system performance; Computer aided design; Systems engineering; Engineering; Circuits and Systems; Processor Architectures; Special Purpose and Application-Based Systems; Computer-Aided Engineering (CAD, CAE) and Design; System Performance and Evaluation; Electronic and Computer Engineering