|
Home « Team « Publikationen
» Publikationen von
Marc Messing
|
 |
BÜCHER |
 |
|
BUCHBEITRÄGE |
|
|
ZEITSCHRIFTEN |
|
|
KONFERENZEN |
|
» Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking
|
|
|
|
Autor:
|
|
Robert Wille, Görschwin Fey, Marc Messing, Gerhard
Angst, Lothar Linhard, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| pp. 542-549, Parma, 2008
| Hyperlink:
|
| [Link zur Konferenz]
| PDF:
|
| [hier ansehen]
|
|
WORKSHOPS |
|
» Using a Two-Dimensional Fault List for Compact Automatic Test Pattern Generation
|
|
|
|
Autor:
|
|
Marc Messing, Andreas Glowatz, Friedrich Hapke, Rolf Drechsler |
| Workshop: |
|
10th IEEE Latin-American TestWorkshop (LATW) |
Referenz:
|
| Búzios, Rio de Janeiro, 2009
| Hyperlink:
|
| [Link zum Workshop]
|
|
|
|
