Constraint Solving for Synthesis and Verification of Threshold Logic Circuits.
Nian-Ze LeeJie-Hong R. JiangPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2021)
Keyphrases
- constraint solving
- logic circuits
- functional decomposition
- logic synthesis
- low power
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- tunnel diode
- constraint satisfaction
- constraint programming
- gate array
- power consumption
- high speed
- multi valued
- model checking
- power dissipation
- low cost
- fault tolerant
- digital signal processing
- signal processing
- upper bound
- data model
- lower bound
- objective function