Lothar Linhard

According to our database, Lothar Linhard authored at least 5 papers between 2001 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

2007

Visualization of SystemC Designs.

Christian Genz, Rolf Drechsler, Gerhard Angst, Lothar Linhard

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2003

Recursive bi-partitioning of netlists for large number of partitions.

Rolf Drechsler, Wolfgang Günther, Thomas Eschbach, Lothar Linhard, Gerhard Angst

J. Syst. Archit., 2003

Efficient Automatic Visualization of SystemC Designs.

Daniel Große, Rolf Drechsler, Lothar Linhard, Gerhard Angst

Proceedings of the Forum on specification and Design Languages, 2003

2001

Level Assignment for Displaying Combinational Logic.

Rolf Drechsler, Wolfgang Günther, Lothar Linhard, Gerhard Angst

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001