Two New Techniques for Compiled Multi-Delay Logic Simulation.

Yun Sik Lee Peter M. Maurer

Published in: DAC (1992)

Keyphrases

logic programming
classical logic
real time
simulation environment
mathematical model
simulation model
artificial intelligence
knowledge representation
end to end
modal logic
multi valued
computational properties
set theory
asynchronous circuits
sound and complete axiomatization