2. FMCAD 1998:
Palo Alto, California, USA
Kenneth L. McMillan
: Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification (abstract).
F. Keith Hanna
: Automatic Verification of Mixed-Level Logic Circuits.
, Ranga Vemuri
: A Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool.
David A. Greve
: Symbolic Simulation of the JEM1 Microprocessor.