Ravel: assigned-delay compiled-code logic simulation.

Emily J. Shriver Karem A. Sakallah

Published in: ICCAD (1992)

Keyphrases

programs written
logic programming
modal logic
logical operations
database
data sets
information systems
multi agent
control system
description logics
automated reasoning
simulation models