Integrated techniques for functional and gate-level digital logic simulation.

Stephen A. Szygenda Anthony A. Lekkos

Published in: DAC (1973)

Keyphrases

simulation model
levels of abstraction
mathematical model
database
neural network
multimedia
higher level
modal logic
multi valued
circuit design
predicate logic