Login / Signup
A PC-Based Logic Simulator Using a Look-Up Table Cascade Emulator.
Hiroki Nakahara
Tsutomu Sasao
Munehiro Matsuura
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2006)
Keyphrases
</>
logic programming
modal logic
simulation model
automated reasoning
multi valued
classical logic
asynchronous circuits
computer vision
digital circuits
formal theory
data sets
test bed
hardware implementation
computational properties
sound and complete axiomatization