Process Oriented Logic Simulation
- 1 January 1981
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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.Keywords
This publication has 10 references indexed in Scilit:
- A mixed-mode simulatorPublished by Association for Computing Machinery (ACM) ,1980
- A Hybrid Scheduling Technique for Hierarchical Logic Simulators or "Close Encounters of the Simulated Kind"Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Design Verification Based on Functional AbstractionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- SABLE: A Tool for Generating Structured, Multi-Level SimulationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Event manipulation for discrete simulations requiring large numbers of eventsCommunications of the ACM, 1978
- Reliability Issues in Computing System DesignACM Computing Surveys, 1978
- Multi-Sim, A Dynamic Multi-Level SimulatorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- A comparison of simulation event list algorithmsCommunications of the ACM, 1975
- Digital Logic Simulation in a Time-Based, Table-Driven EnvironmentComputer, 1975
- SIMULA: an ALGOL-based simulation languageCommunications of the ACM, 1966