A model for comparing synchronization strategies for parallel logic-level simulation.

Mary L. Bailey Lawrence Snyder

Published in: ICCAD (1989)

Keyphrases

computational model
mathematical model
simulation model
probabilistic model
image sequences
prior knowledge
probability distribution
statistical model
simulation models
similarity measure
theoretical analysis
modal logic
analytical model
discrete event