Scalable don't-care-based logic optimization and resynthesis.
Alan MishchenkoRobert K. BraytonJie-Hong Roland JiangStephen JangPublished in: FPGA (2009)
Keyphrases
- long term
- global optimization
- optimization process
- optimization algorithm
- modal logic
- database
- asynchronous circuits
- predicate logic
- daily activities
- classical logic
- memory efficient
- web scale
- multi valued
- automated reasoning
- constrained optimization
- optimization problems
- medical images
- evolutionary algorithm
- multi agent systems
- information systems
- data mining