EmGen-a module generator for logic emulation applications.

Wen-Jong Fang Allen C.-H. Wu Duan-Ping Chen

Published in: IEEE Trans. Very Large Scale Integr. Syst. (1999)

Keyphrases

logic programming
classical logic
automated reasoning
verification method
formal language
modal logic
multi valued
predicate logic
multi agent
neural network
theorem prover
computational properties
clustering algorithm
modal operators
asynchronous circuits
linear logic
knowledge base