HAL II: a mixed level hardware logic simulation system.

Shigeru Takasaki Tohru Sasaki Nobuyoshi Nomizu Hiroshi Ishikura Nobuhiko Koike

Published in: DAC (1986)

Keyphrases

low cost
real time
digital circuits
application level
information systems
data acquisition
image processing
neural network
higher level
database
modal logic
inference rules
levels of abstraction
simulation environment
automated reasoning
artificial intelligence
predicate logic