CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification.
Heinz RienerRüdiger EhlersGörschwin FeyPublished in: ASP-DAC (2017)
Keyphrases
- boolean functions
- functional decomposition
- analog circuits
- logic synthesis
- uniform distribution
- multi valued
- truth table
- relevant variables
- high speed
- threshold functions
- dnf formulae
- prime implicants
- bi decomposition
- circuit design
- membership queries
- pseudo boolean functions
- functional properties
- digital circuits
- linear threshold
- dnf formulas
- binary decision diagrams
- statistical queries
- heuristic search