Communications of the ACM
Modeling for synthesis - the gap between intent and behavior
Proceedings of the Symposium on Design Automation and Microprocessors
Developing a SARA building block - the 8080
Proceedings of the Symposium on Design Automation and Microprocessors
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
Proper termination of flow-of-control in programs involving concurrent processes
ACM '72 Proceedings of the ACM annual conference - Volume 2
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering
An extensible object-oriented mixed-mod functional simulation system
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An algorithm to support code-skeleton generation for concurrent systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
The use of a Module Interconnection Language in the SARA system design methodology
ICSE '79 Proceedings of the 4th international conference on Software engineering
Evaluation methods in SARA—the graph model simulator
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Modeling for synthesis - the gap between intent and behavior
Proceedings of the Symposium on Design Automation and Microprocessors
Proceedings of the Symposium on Design Automation and Microprocessors
Developing a SARA building block - the 8080
Proceedings of the Symposium on Design Automation and Microprocessors
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
Digital logic modeling system based on MODLAN
DAC '82 Proceedings of the 19th Design Automation Conference
The SARA system for computer architecture design and modelling
ACM SIGSIM Simulation Digest
Hi-index | 0.00 |
This paper describes an interactive simulator developed at UCLA as part of the SARA system. This simulator, in conjunction with other design tools of the SARA system, allows the user to model the behavior of the system being designed at various levels of detail. The models which drive the simulator are control graphs and associated data graphs. The simulator uses the control graph to express synchronization of sequences of events. Initiation of any control node triggers the simulator to call on the data graph model to provide interpretation of a process at a desired level of abstraction. The simulator gives the user the capability to examine, or modify, the state of the control and data graphs during a simulation.