From formal verification to silicon compilation.

Jeffrey Joyce Erwin Liu John M. Rushby Natarajan Shankar Roberto Suaya Friedrich W. von Henke

Published in: Compcon (1991)

Keyphrases

formal verification
model checking
model checker
automated verification
bounded model checking
high speed
low cost
high density
symbolic model checking
program slicing
gallium arsenide
open source
transmission electron microscopy
expert systems
cmos technology
functional verification
silicon dioxide
plasma etching