Title Functional verification of programmable embedded architectures : a top-down approach / Prabhat Mishra, Nikil D. Dutt

Published New York : Springer, 2005

Click on the following:
Springer eBooks
Springer Engineering eBooks

Copies

Description 1 online resource (xviii, 180 pages) : illustrations Contents To Functional Verification -- Architecture Specification -- Architecture Specification -- Validation of Specification -- Top-Down Validation -- Executable Model Generation -- Design Validation -- Functional Test Generation -- Future Directions -- Conclusions Summary "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."--Jacket Bibliography Includes bibliographical references and index Notes English Print version record In Springer e-books Subject Embedded computer systems -- Testing Computer architecture. Integrated circuits -- Verification. Computer-aided design. Systems engineering. Electronic Data Processing Computer-Aided Design systems engineering. computer-aided designs (visual works) computer-aided design (process) COMPUTERS -- Systems Architecture -- General. Computer engineering. Computer science. Computer system performance. Engineering. Software engineering. Systems engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Electronic and Computer Engineering. Processor Architectures. Special Purpose and Application-Based Systems. System Performance and Evaluation. Computer aided design. Ingénierie. Computer architecture Embedded computer systems -- Testing Integrated circuits -- Verification Form Electronic book Author Dutt, Nikil LC no. 2005049799 ISBN 0387261435 9780387261430 0387263993 9780387263991 1280234296 9781280234293 6610234299 9786610234295

  Permalink