Lothar Linhard

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Publications

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)
Christian Genz, Rolf Drechsler, Gerhard Angst, Lothar Linhard
Visualization of SystemC Designs. ISCAS (2007)
Daniel Große, Rolf Drechsler, Lothar Linhard, Gerhard Angst
Efficient Automatic Visualization of SystemC Designs. FDL (2003)
Rolf Drechsler, Wolfgang Günther, Thomas Eschbach, Lothar Linhard, Gerhard Angst
Recursive bi-partitioning of netlists for large number of partitions. J. Syst. Archit. 49 (12-15) (2003)
Rolf Drechsler, Wolfgang Günther, Thomas Eschbach, Lothar Linhard, Gerhard Angst
Recursive Bi-Partitioning of Netlists for Large Number of Partitions. DSD (2002)
Rolf Drechsler, Wolfgang Günther, Lothar Linhard, Gerhard Angst
Level Assignment for Displaying Combinational Logic. DSD (2001)