Lothar Linhard

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2008
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.
Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

2007
Visualization of SystemC Designs.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2003
Recursive bi-partitioning of netlists for large number of partitions.
J. Syst. Archit., 2003

Efficient Automatic Visualization of SystemC Designs.
Proceedings of the Forum on specification and Design Languages, 2003

2001
Level Assignment for Displaying Combinational Logic.
Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001


  Loading...