Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Event manipulation for discrete simulations requiring large numbers of events
Communications of the ACM
A comparison of simulation event list algorithms
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Multi-sim, a dynamic multi-level simulator
DAC '78 Proceedings of the 15th Design Automation Conference
A module level simulation technique for systems composed of LSI's and MSI's
DAC '78 Proceedings of the 15th Design Automation Conference
The SLIDE simulator: A facility for the design and analysis of computer interconnections
DAC '80 Proceedings of the 17th Design Automation Conference
Algebraic analysis of nondeterministic behavior
DAC '80 Proceedings of the 17th Design Automation Conference
DAC '80 Proceedings of the 17th Design Automation Conference
Modeling for synthesis - the gap between intent and behavior
Proceedings of the Symposium on Design Automation and Microprocessors
An hierarchical language for the structural description of digital systems
DAC '77 Proceedings of the 14th Design Automation Conference
DAC '79 Proceedings of the 16th Design Automation Conference
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
Design verification based on functional abstraction
DAC '79 Proceedings of the 16th Design Automation Conference
Hi-index | 0.00 |
Theoretically, simulation can be activity oriented, event oriented or process oriented. Existing techniques for logic simulation are either activity or event oriented. In this paper, the possibility of logic simulation using process oriented concepts is investigated. Such an approach is justified by the need to support modular design environments. The key feature is that of asynchronous module activity: the timing order of signal changes has to be preserved only for those events belonging to the same module. It is shown that as long as the proper order of occurence for intermodule signaling is faithfully preserved, a centralized scheduling of events is avoidable. Thus, sequences of uninterruptible local events (termed atomic activities) can be simulated in complete isolation. The correct definition of uninterruptible local activities needs some information on allowable timing of interface events.