A dual-core 8051 microcontroller system based on synchronous-logic and asynchronous-logic.
Kok-Leong ChangTong LinWeng-Geng HoKwen-Siong ChongBah-Hwee GweeJoseph S. ChangPublished in: ISCAS (2013)
Keyphrases
- logic programming
- asynchronous circuits
- delay insensitive
- modal logic
- low cost
- asynchronous communication
- multi valued
- logical framework
- automated reasoning
- predicate logic
- sound and complete axiomatization
- machine learning
- proof theory
- linear logic
- nonmonotonic logics
- logic programs
- linear programming
- control system
- knowledge base
- genetic algorithm