Functional Verification of Programmable Embedded Architectures

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