Scalable Clustered Time Warp and Logic Simulation.

Hervé Avril Carl Tropper

Published in: VLSI Design (1999)

Keyphrases

numerical simulations
simulation model
logic programming
neural network
case study
modal logic
simulation environment
automated reasoning
classical logic
chip design
proof theory
epistemic logic
computational properties
data structure
bayesian networks
artificial intelligence
machine learning