Speed up techniques of logic simulation.

Masayuki Miyoshi Yoshiharu Kazama Osamu Tada Yasuo Nagura Nobutaka Amano

Published in: DAC (1985)

Keyphrases

multiscale
real time
genetic algorithm
fuzzy logic
simulation model
classical logic
predicate logic
logic programming
simulation study
multi valued
high fidelity