B Möller and H Schwichtenberg attended the Second International Conference on THEOREM PROVERS IN CIRCUIT DESIGN --- Theory, Practice and Experience, Bad Herrenalb (Black Forest), Germany, Sept 26 -- 28, 1994.
The conference was a sequel to the one held in Nijmegen in June 1992. It discussed the role of theorem provers in the design of digital systems, in particular verification, synthesis and testing. It presented original research as well as case studies and other practical experiments with new or established theorem proving tools, including tautology and model checkers.
Two tutorials covered relevant aspects of design verification and implementation verification. The invited talks showed the use of formal methods in circuit design from an academic and industrial viewpoint, the latter also judging practical use of these approaches in real world applications. There were practical demonstrations of relevant verification systems.
The conference was well organised and very instructive, providing a useful survey of the state of the art. Details may be found in the respective trip report and the conference proceedings [Kumar, Kropf 95].