Login

Chen, Mingsong

System-Level Validation

Chen, Mingsong - System-Level Validation, ebook

122,00€

Ebook, PDF with Adobe DRM
ISBN: 9781461413592
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

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

Author(s)
 
 
 
Publisher
Springer
Publication year
2013
Language
en
Edition
2013
Page amount
21 pages
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781461413592

Similar titles