State-Machine Based Logic Simulation Using Three Logic Values.

Peter M. Maurer William J. Schilp

Published in: VLSI Design (2000)

Keyphrases

state machine
state machines
fault tolerant
finite state machines
classical logic
multi valued
logic programming
modal logic
databases
parameter values
simulation environment
automated reasoning
defeasible logic
digital circuits
predicate logic
truth values