 | 2010 |
| 3 |  | Stefan Lämmermann,
Jürgen Ruf,
Thomas Kropf,
Wolfgang Rosenstiel,
Alexander Viehl,
Alexander Jesser,
Lars Hedrich:
Towards assertion-based verification of heterogeneous system designs.
DATE 2010: 1171-1176 |
| 2008 |
| 2 |  | Alexander Jesser,
Lars Hedrich:
A symbolic approach for mixed-signal model checking.
ASP-DAC 2008: 404-409 |
| 1 |  | Alexander Jesser,
Stefan Lämmermann,
Alexander Pacholik,
Roland Weiss,
Jürgen Ruf,
Lars Hedrich,
Wolfgang Fengler,
Thomas Kropf,
Wolfgang Rosenstiel:
Advanced Assertion-Based Design for Mixed-Signal Verification.
IEICE Transactions 91-A(12): 3548-3555 (2008) |