A Compilation of Succinctness Results for Arithmetic Circuits.
Alexis de ColnetStefan MengelPublished in: CoRR (2021)
Keyphrases
- knowledge compilation
- model counting
- arithmetic operations
- high speed
- floating point
- modal logic
- digital circuits
- logic synthesis
- analog circuits
- circuit design
- prime implicates
- delay insensitive
- normal form
- databases
- logic circuits
- electronic circuits
- quantum computing
- data mining
- neural network
- first order logic
- case study
- artificial intelligence
- asynchronous circuits
- analog vlsi
- high level synthesis