Circuit Minimization with QBF-Based Exact Synthesis.
Franz-Xaver ReichlFriedrich SlivovskyStefan SzeiderPublished in: AAAI (2023)
Keyphrases
- analog circuits
- logic synthesis
- circuit design
- high speed
- quantified boolean formulas
- objective function
- quantified boolean formulae
- fault diagnosis
- program synthesis
- functional programs
- regularization term
- heuristic search
- digital circuits
- logic circuits
- electronic circuits
- evolutionary algorithm
- analog vlsi
- lower bound
- neural network