A Logic Simulation Machine.

Miron Abramovici Ytzhak H. Levendel Premachandran R. Menon

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1983)

Keyphrases

logic programming
simulation model
simulation environment
real world
machine learning
genetic algorithm
logic programs
simulation study
numerical simulations
automated reasoning
multi valued
predicate logic
asynchronous circuits