Chen, Mingsong
System-Level Validation
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
- Chen, Mingsong
- Qin, Xiaoke
- Koo, Heon-Mo
- Mishra, Prabhat
- Utgivare
- Springer
- Utgivningsår
- 2013
- Språk
- en
- Utgåva
- 2013
- Sidantal
- 21 sidor
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9781461413592