Integrating Nano-logic into an Undergraduate Logic Design Course.
Saket SrivastavaSanjukta BhanjaPublished in: MSE (2007)
Keyphrases
- modal logic
- classical logic
- micron cmos
- logic synthesis
- software architecture
- digital circuits
- logic circuits
- automated reasoning
- multi valued
- defeasible logic
- mechanical engineering
- predicate logic
- set theory
- data sets
- building blocks
- logic programming
- case study
- asynchronous circuits
- proof theory
- knowledge based systems
- chip design
- knowledge base