 | 2008 |
|---|
| 6 |       | Robert Wille,
Görschwin Fey,
Marc Messing,
Gerhard Angst,
Lothar Linhard,
Rolf Drechsler:
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.
DSD 2008: 542-549 |
| 2007 |
|---|
| 5 | | Christian Genz,
Rolf Drechsler,
Gerhard Angst,
Lothar Linhard:
Visualization of SystemC Designs.
ISCAS 2007: 413-416 |
| 2003 |
|---|
| 4 | | Daniel Große,
Rolf Drechsler,
Lothar Linhard,
Gerhard Angst:
Efficient Automatic Visualization of SystemC Designs.
FDL 2003: 646-658 |
| 3 | | Rolf Drechsler,
Wolfgang Günther,
Thomas Eschbach,
Lothar Linhard,
Gerhard Angst:
Recursive bi-partitioning of netlists for large number of partitions.
Journal of Systems Architecture 49(12-15): 521-528 (2003) |
| 2002 |
|---|
| 2 | | Rolf Drechsler,
Wolfgang Günther,
Thomas Eschbach,
Lothar Linhard,
Gerhard Angst:
Recursive Bi-Partitioning of Netlists for Large Number of Partitions.
DSD 2002: 38-44 |
| 2001 |
|---|
| 1 | | Rolf Drechsler,
Wolfgang Günther,
Lothar Linhard,
Gerhard Angst:
Level Assignment for Displaying Combinational Logic.
DSD 2001: 148-151 |
