CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover.
Wilayat KhanFarrukh Aslam KhanAbdelouahid DerhabAdi AlhudhaifPublished in: Complex. (2021)
Keyphrases
- theorem prover
- computer algebra systems
- theorem proving
- inference rules
- automated reasoning
- first order logic
- computer algebra
- term rewriting
- automated theorem proving
- natural deduction
- proof search
- high speed
- computer graphics
- formal proof
- semi automatic
- timed automata
- proof planning
- logic circuits
- boolean algebra
- formal semantics
- circuit design
- user interaction
- higher order logic
- probability distribution