Power-aware FPGA logic synthesis using binary decision diagrams.
Kevin Oo TinmaungDavid HowlandRussell TessierPublished in: FPGA (2007)
Keyphrases
- logic synthesis
- binary decision diagrams
- heuristic search
- boolean functions
- symbolic model checking
- multi valued
- planning problems
- hardware implementation
- quantum computing
- logic circuits
- power consumption
- inductive learning
- data structure
- model checking
- search space
- field programmable gate array
- knowledge compilation
- high speed
- optical flow