The Compiled Logic Simulator.

Brion L. Keller David P. Carlson William Maloney

Published in: IEEE Des. Test Comput. (1991)

Keyphrases

logic programming
modal logic
classical logic
simulation model
multi valued
simulation environment
probabilistic logic
asynchronous circuits
artificial intelligence
test bed
computational properties
abductive reasoning
simulation platform