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
Avainsanat: Engineering, Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures
- Tekijä(t)
- Chen, Mingsong
- Qin, Xiaoke
- Koo, Heon-Mo
- Mishra, Prabhat
- Julkaisija
- Springer
- Julkaisuvuosi
- 2013
- Kieli
- en
- Painos
- 2013
- Sivumäärä
- 21 sivua
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781461413592