Multilevel Logic Minimization Using Functional Don't Cares.
L. WangA. E. A. AlmainiPublished in: VLSI Design (2001)
Keyphrases
- modal logic
- logic programming
- classical logic
- sound and complete axiomatization
- predicate logic
- objective function
- database
- asynchronous circuits
- automated reasoning
- multi valued
- euler lagrange
- natural deduction
- logical framework
- image processing
- abductive reasoning
- epistemic logic
- machine learning
- dynamic logic
- databases
- data sets
- real time