HAL: A High-Speed Logic Simulation Machine.

Nobuhiko Koike Kenji Ohmori Tohru Sasaki

Published in: IEEE Des. Test (1985)

Keyphrases

high speed
mathematical models
data mining
case study
simulation model
sound and complete axiomatization
real time
optimal solution
knowledge representation
mathematical model
predicate logic
asynchronous circuits