An Embedded Reconfigurable Logic Core based on Variable Grain Logic Cell Architecture.
Yoshiaki SatouMotoki AmagasakiHiroshi MiuraKazunori MatsuyamaRyoichi YamaguchiMasahiro IidaToshinori SueyoshiPublished in: FPT (2007)
Keyphrases
- logic programming
- data sets
- sound and complete axiomatization
- real time
- database systems
- general purpose
- information systems
- modal logic
- multi valued
- logical framework
- classical logic
- computational properties
- knowledge representation
- embedded systems
- defeasible logic
- set theory
- digital circuits
- deontic logic
- logic synthesis