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

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