Keyphrases
- micron cmos
- chip design
- cost function
- low cost
- high speed
- high density
- analog vlsi
- asynchronous circuits
- predicate logic
- multi valued
- random access memory
- sufficient conditions
- logic programming
- real time
- evolvable hardware
- digital circuits
- defeasible logic
- classical logic
- physical design
- linear logic
- single chip
- automated reasoning