Stack effect and logic restructuring on high Fan-in FinFETs logic gates.
Senthilkumar JayapalJanani Sainath SigundeyYipin WuEricT TsaiPublished in: ISIC (2016)
Keyphrases
- classical logic
- modal logic
- logic programming
- logic circuits
- multi valued
- sound and complete axiomatization
- epistemic logic
- logical framework
- wide range
- clustering algorithm
- information systems
- high speed
- programming language
- automated reasoning
- computational properties
- data sets
- asynchronous circuits
- real time
- database