TY  - BOOK
AU  - Mishra, Prabhat
AU  - Dutt, Nikil D.
TI  - Functional Verification of Programmable Embedded Architectures: a top-down approach
SN  - 0387261435
U1  - 004.22 MIS 
PY  - 2008///
CY  - New Delhi
PB  - Springer (India) Pvt Ltd
KW  - Computer architecture
N1  - Contents:
1. Introduction to functional
ER  -