System-Level Validation
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer New York

9781461413585, 9781461413592
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Learning-Oriented Property Decomposition Approaches

2012 ◽  
pp. 169-184
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra
Keyword(s):  
Property Decomposition

Introduction

2012 ◽  
pp. 1-17
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra

Directed Test Generation for Multicore Architectures

2012 ◽  
pp. 185-200
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra
Keyword(s):  
Test Generation ◽  
Multicore Architectures

Synchronized Generation of Directed Tests

2012 ◽  
pp. 129-143
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra

Conclusions

2012 ◽  
pp. 235-238
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra

Functional Test Compaction

2012 ◽  
pp. 61-78
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra
Keyword(s):  
Functional Test ◽  
Test Compaction

Modeling and Specification of SoC Designs

2012 ◽  
pp. 19-42 ◽  
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra

Test Generation for Cache Coherence Validation

2012 ◽  
pp. 201-214
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra
Keyword(s):  
Test Generation ◽  
Cache Coherence

Automated Generation of Directed Tests

2012 ◽  
pp. 43-59
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra
Keyword(s):  
Automated Generation

Decision Ordering Based Learning Techniques

2012 ◽  
pp. 107-127
Author(s):  
Mingsong Chen ◽  
Xiaoke Qin ◽  
Heon-Mo Koo ◽  
Prabhat Mishra
Keyword(s):  
Learning Techniques
Load More ...
Sign in / Sign up

Export Citation Format

Share Document