Journal of the ACM (JACM)
Communications of the ACM
The graph model of behavior simulator
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
Graph model analysis and implementation of computational sequences
Graph model analysis and implementation of computational sequences
Multiprocessors, semaphores, and a graph model of computation
Multiprocessors, semaphores, and a graph model of computation
The design of an extensible processor.
The design of an extensible processor.
A graphical hardware design language
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Representation in CAD: Models and semantics
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Process oriented logic simulation
DAC '81 Proceedings of the 18th Design Automation Conference
State of the implementation of SARA
Proceedings of the Symposium on Design Automation and Microprocessors
The graph model of behavior simulator
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
Computer hardware description languages and their applications
DAC '79 Proceedings of the 16th Design Automation Conference
Requirements definition and its interface to the SARA design methodology for computer-based systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Hi-index | 0.00 |
Aside from the continuing critical inputs of UCLA faculty and students SARA has been affected by [CLE74]; the work of the MIT Information Structures Group, Carnegie-Mellon studies, the Case-Western Reserve LOGOS project, Petri Net studies, the growing literature on structured programming and work on program verification. The body of this paper presents the highlights of our synthesis methodology, the set of primitives used by modeling tools in SARA and a fast look at the design procedure proposed to support the methodology.