Keyphrases
- micron cmos
- chip design
- high speed
- random access memory
- low cost
- objective function
- logic programming
- high density
- real time
- predicate logic
- circuit design
- multi valued
- modal logic
- logical framework
- computational properties
- defeasible logic
- vlsi implementation
- automated reasoning
- physical design
- regularization term
- asynchronous circuits
- vlsi design
- data sets
- application specific integrated circuits
- database