Gerd Venzl

According to our database, Gerd Venzl authored at least 5 papers between 1991 and 1995.

Collaborative distances:

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

1995

Model Checking in Industrial Hardware Design.

Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl

Proceedings of the 32st Conference on Design Automation, 1995

1992

Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives.

Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl

Proceedings of the Designing Correct Circuits, 1992

1991

Hardware Design Using CASE Tools.

Wolfgang Glunz, Gerd Venzl

Proceedings of the VLSI 91, 1991

Are Formal Methods in Design for Real? (Panel Abstract).

Gerd Venzl

Proceedings of the 28th Design Automation Conference, 1991

Proof-Aided Design of Verified Hardware.

Holger Busch, Gerd Venzl

Proceedings of the 28th Design Automation Conference, 1991