TY  - DATA
AU  - Mishra,Prabhat
AU  - Dutt,Nikil D.
ED  - SpringerLink (Online service)
TI  - Functional Verification of Programmable Embedded Architectures: A Top-Down Approach 
SN  - 9780387263991
AV  - TK7895.E42 M57 2005
PY  - 2005///
CY  - Boston, MA
PB  - Springer Science+Business Media, Inc.
KW  - Engineering
KW  - Computer science
KW  - Software engineering
KW  - Computer system performance
KW  - Computer aided design
KW  - Systems engineering
KW  - Circuits and Systems
KW  - Processor Architectures
KW  - Special Purpose and Application-Based Systems
KW  - Computer-Aided Engineering (CAD, CAE) and Design
KW  - System Performance and Evaluation
KW  - Electronic and Computer Engineering
UR  - http://dx.doi.org/10.1007/b137514
ER  -