|
Home « Team « Publications
» Publications of
Shuo Yang
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Minimal Stimuli Generation in Simulation-based Verification
|
|
|
|
Author:
|
|
Shuo Yang, Robert Wille, Daniel Große and Rolf Drechsler |
| Conference: |
|
Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| Santander, Spain, 2013
| Hyperlink:
|
| [To the Site of this Conference]
|
» Coverage-driven Stimuli Generation
|
|
|
|
Author:
|
|
Shuo Yang, Robert Wille, Daniel Große, Rolf Drechsler |
| Conference: |
|
15th Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| Izmir, Turkey, 2012
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
|
|
|
|
