Sign in

Formal Verification of Digital Circuits Using Symbolic Ternary System Models.

Randal E. BryantCarl-Johan H. Seger
Published in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
  • formal verification
  • digital circuits
  • complex systems
  • model checking
  • data management
  • artificial intelligence
  • domain independent
  • connectionist models