… logic simulation. A design can be verified at different levels of detail and every level entails
a different trade-off between the simulation … involved in building the logic model, and of the …

Special-purpose CAD hardware is increasingly being considered as a means to meet the
challenge posed to conventional (software-based) CAD tools by the growing complexity of …

… -level simulations. For these reasons, we based our highspeed hardware logic simulator,
HAL, 1-3 on the zero-delay simulation model. Hardware logic simulators exploit concurrences …

… simulation architectures and compares the performance of some of these machines using
data obtained from simulations … implications of our results on machine design and examine the …

… systems and finite-state machines, the attributes and behaviors of … logic model, and the
function of various elements are realized through inheritance. A production process simulation …

… efficient logic simulation systemon large-scale MIMD multiprocessors, most of whichwill be
distributed memory machines. … We haveimplemented a parallel logic simulation system using …

… tional specifications of the machine to be simulated Simulation of Machine Storage (hereafter
called test machine), and then have these The simulation of machine storage consists of …

… The proposed schemes in this paper are especially suitable for logic simulation on SIMD
because each process performs fine-grain operations. For exam- ple, the gate function is …

… The main structure of the simulator load-balancing approaches for parallel digital logic
simulation which we describe in the next section. We have a ring topology for the processors and …

… As ASIC design complexity has increased, logic simulation has evolved. Early simulators …
-instruction set for interpretation by a software “machine”. To improve performance, many …