Functional verification of programmable embedded architectures : a top-down approach / Prabhat Mishra, Nikil D. Dutt.
Material type: TextPublisher: New York : Springer, 2005Description: xviii, 180 pages : illustrations ; 24 cmContent type:- text
- unmediated
- volume
- 0387261435
- 9780387261430
- 004.22 22
- TK7895.E42 M57 2005
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Book | City Campus City Campus Main Collection | 004.22 MIS (Browse shelf(Opens below)) | 1 | Available | A400044B |
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.
"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.
Machine converted from AACR2 source record.
There are no comments on this title.