Login / Signup
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