Moebius circuit: dual-rail dynamic logic for logic gate level pipeline with error gate search feature.
MyeongGyu JeongToru NakuraMakoto IkedaKunihiro AsadaPublished in: ACM Great Lakes Symposium on VLSI (2009)
Keyphrases
- dynamic logic
- multiple input
- high speed
- cmos technology
- modal logic
- propositional dynamic logic
- reasoning about actions
- search space
- classical first order logic
- imperative programs
- search algorithm
- error rate
- modal operators
- agent programming
- image features
- field effect transistors
- low power
- flip flops
- nm technology
- classical logic
- general purpose
- knowledge representation
- artificial intelligence