A Library for Combinational Circuit Verification Using the HOL Theorem Prover.
Sumayya ShirazOsman HasanPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
- theorem prover
- asynchronous circuits
- formal proof
- logic circuits
- theorem proving
- automated reasoning
- higher order logic
- automated theorem proving
- natural deduction
- first order logic
- model checking
- term rewriting
- high speed
- inference rules
- computer algebra
- electronic circuits
- formal semantics
- low power
- boolean algebra
- mathematical knowledge
- formal verification
- circuit design
- expert systems
- formal methods
- fixed point
- computer algebra systems