TY  - BOOK
AU  - Mishra,Prabhat
AU  - Dutt,Nikil
TI  - Functional verification of programmable embedded architectures: a top-down approach 
SN  - 0387261435
AV  - TK7895.E42 M57 2005
U1  - 004.22 22
PY  - 2005///
CY  - New York
PB  - Springer
KW  - Embedded computer systems
KW  - Testing
KW  - Computer architecture
KW  - Integrated circuits
KW  - Verification
N1  - Includes bibliographical references and index; 1; Introduction --; 2; Architecture specification --; 3; Validation of specification --; 4; Executable model generation --; 5; Design validation --; 6; Functional test generation --; 7; Conclusions --; App. A; Survey of contemporary ADLs --; App. B; Specification of DLX processor --; App. C; Interrupts & exceptions in ADL --; App. D; Validation of DLX specification --; App. E; Design space exploration
N2  - "Functional Verification of Programmable Embedded Architectures: A Top-Down Approach is designed for students, researchers, CAD tool developers, designers, and managers interested in the development of tools, techniques and methodologies for system-level design, microprocessor validation, design space exploration and functional verification of embedded systems."--BOOK JACKET
ER  -