|
Home « Team « Publications
» Publications of
Marc Messing
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking
|
|
|
|
Author:
|
|
Robert Wille, Görschwin Fey, Marc Messing, Gerhard
Angst, Lothar Linhard, Rolf Drechsler |
| Conference: |
|
Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| pp. 542-549, Parma, 2008
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Using a Two-Dimensional Fault List for Compact Automatic Test Pattern Generation
|
|
|
|
Author:
|
|
Marc Messing, Andreas Glowatz, Friedrich Hapke, Rolf Drechsler |
| Workshop: |
|
10th IEEE Latin-American TestWorkshop (LATW) |
Reference:
|
| Búzios, Rio de Janeiro, 2009
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
