Level Assignment for Displaying Combinational Logic. - Rolf Drechsler; Wolfgang Günther 001; Lothar Linhard; Gerhard Angst (DSD, 2001)

Recursive Bi-Partitioning of Netlists for Large Number of Partitions. - Rolf Drechsler; Wolfgang Günther 001; Thomas Eschbach; Lothar Linhard; Gerhard Angst (DSD, 2002)

Efficient Automatic Visualization of SystemC Designs. - Daniel Große; Rolf Drechsler; Lothar Linhard; Gerhard Angst (FDL, 2003)

Visualization of SystemC Designs. - Christian Genz; Rolf Drechsler; Gerhard Angst; Lothar Linhard (ISCAS, 2007)

Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. - Robert Wille; Görschwin Fey; Marc Messing; Gerhard Angst; Lothar Linhard; Rolf Drechsler (DSD, 2008)