Polynomial Formal Verification of KFDD Circuits.
Martha SchnieberRolf DrechslerPublished in: MEMOCODE (2023)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- symbolic model checking
- bounded model checking
- high speed
- program slicing
- logic circuits
- functional verification
- asynchronous circuits
- analog circuits
- digital circuits
- circuit design
- temporal logic
- open source
- quantum computing
- state space
- reinforcement learning