Login

Dutt, Nikil D.

Functional Verification of Programmable Embedded Architectures

Dutt, Nikil D. - Functional Verification of Programmable Embedded Architectures, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9780387263991
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

Part I.Introduction to Functional Verification

1. Introduction
Part II.Architecture Specification

2. Architecture Specification
3. Validation of Specification
Part III.Top-Down Validation

4. Executable Model Generation
5. Design Validation
6. Functional Test Generation
Part IV.Future Directions

7. Conclusions

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000

Author(s)
 
Publisher
Springer
Publication year
2005
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9780387263991

Similar titles