Gerd Venzl

Publication Activity (10 Years)

Years Active: 1991-1995
Publications (10 Years): 0

Publications

Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl
Model Checking in Industrial Hardware Design. DAC (1995)
Jörg Bormann, H. Nusser-Wehlan, Gerd Venzl
Invited Talk: Formal Design in an Industrial Research Laboratory: Lessons and Perspectives. Designing Correct Circuits (1992)
Wolfgang Glunz, Gerd Venzl
Hardware Design Using CASE Tools. VLSI (1991)
Gerd Venzl
Are Formal Methods in Design for Real? (Panel Abstract). DAC (1991)
Holger Busch, Gerd Venzl
Proof-Aided Design of Verified Hardware. DAC (1991)