BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits.
Ryosuke MatsuoShin-ichi MinatoPublished in: ISVLSI (2021)
Keyphrases
- power consumption
- logic circuits
- low power
- variable ordering
- binary decision diagrams
- power dissipation
- branch and bound algorithm
- boolean functions
- energy efficiency
- power saving
- power management
- low cost
- power reduction
- digital signal processing
- planning problems
- model checking
- lower bound
- max sat
- knowledge compilation
- high speed
- mobile devices
- data streams