A logic simulation machine.

Miron Abramovici Ytzhak H. Levendel Prem R. Menon

Published in: DAC (1982)

Keyphrases

simulation model
mathematical model
numerical simulations
simulation environment
chip design
information systems
expert systems
special case
logic programming
modal logic
simulation models
classical logic
batch processing