Logga in

Chen, Mingsong

System-Level Validation

Chen, Mingsong - System-Level Validation, e-bok

108,25€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781461413592
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

Table of contents

1. Introduction
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

2. Modeling and Specification of SoC Designs
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

3. Automated Generation of Directed Tests
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

4. Functional Test Compaction
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

5. Property Clustering and Learning Techniques
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

6. Decision Ordering Based Learning Techniques
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

7. Synchronized Generation of Directed Tests
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

8. Test Generation Using Design and Property Decompositions
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

9. Learning-Oriented Property Decomposition Approaches
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

10. Directed Test Generation for Multicore Architectures
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

11. Test Generation for Cache Coherence Validation
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

12. Reuse of System-Level Validation Efforts
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

13. Conclusions
Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra

Nyckelord: Engineering, Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures

Författare
 
 
 
Utgivare
Springer
Utgivningsår
2013
Språk
en
Utgåva
2013
Sidantal
21 sidor
Kategori
Teknologi, energi, trafik
Format
E-bok
eISBN (PDF)
9781461413592

Liknande e-böcker