TY  - BOOK
AU  - Prabhat Mishra
AU  - Nikil D Dutt
TI  - Functional verification of programmable embedded architectures : a top - down approach
SN  - 978818128856
CY  - New Delhi
KW  - Architecture description language -- ADL
KW  - DLX processors
KW  - Embedded programming
KW  - Embedded system -- Architecture
N1  - Includes bibliographical references and index
ER  -