A formal design verification system based on an automated reasoning system.

Anthony S. Wojcik Joseph Kljaich Jr.Nagendra C. E. Srinivas

Published in: DAC (1984)

Keyphrases

automated reasoning
automated verification
formal methods
reasoning systems
design process
decision procedures
knowledge representation
theorem prover
neural network
theorem proving
training data
search algorithm
probabilistic model
formal specification
reasoning tasks
functional verification