Sisäänkirjautuminen

Dutt, Nikil D.

Functional Verification of Programmable Embedded Architectures

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

109,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9780387263991
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000

Tekijä(t)
 
Julkaisija
Springer
Julkaisuvuosi
2005
Kieli
en
Painos
1
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9780387263991

Samankaltaisia e-kirjoja