TY  - BOOK
AU  - Mishra,Prabhat
AU  - Dutt,Nikil
TI  - Functional verification of programmable embedded architectures: a top-down approach 
SN  - 0387261435
PY  - 2005///
CY  - New York
PB  - Springer
KW  - Embedded computer systems
KW  - Testing
KW  - Computer architecture
KW  - Integrated circuits
KW  - Verification
ER  -