Describing and verifying synchronous circuits with the Boyer-Moore theorem prover.
Laurence PierrePublished in: CHARME (1995)
Keyphrases
- theorem prover
- boyer moore
- pattern matching
- inference rules
- first order logic
- theorem proving
- automated reasoning
- automated theorem proving
- automated deduction
- term rewriting
- high speed
- formal semantics
- computer algebra
- sliding window
- natural deduction
- search algorithm
- formal proof
- higher order logic
- proof search
- boolean algebra
- computer algebra systems
- model checking
- logic circuits
- delay insensitive
- machine learning
- data streams
- semi supervised learning