Multi-Level Logic Minimization Across Latch Boundaries.
Yusuke MatsunagaMasahiro FujitaTakeo KakudaPublished in: ICCAD (1990)
Keyphrases
- low power
- modal logic
- flip flops
- objective function
- high density
- expert systems
- predicate logic
- classical logic
- logical framework
- automated reasoning
- multi layer
- databases
- object boundaries
- power consumption
- image processing
- logic programming
- defeasible logic
- programming language
- asynchronous circuits
- linear logic
- database