Modeling for synthesis - the gap between intent and behavior

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.

[1]  B. Bussell,et al.  Instrumenting computer systems and their programs , 1970, AFIPS '70 (Fall).

[2]  Saul Aaron Volansky,et al.  Graph model analysis and implementation of computational sequences , 1970 .

[3]  Gerald Estrin,et al.  Snuper computer: a computer in instrumentation automaton , 1967, AFIPS '67 (Spring).

[4]  Michael Allen Wingfield.  The design of an extensible processor. , 1972 .

[5]  Gerald Estrin,et al.  Path Length Computations on Graph Models of Computations , 1969, IEEE Transactions on Computers.

[6]  Gerald Estrin,et al.  Experiments on Models of Computations and Systems , 1967, IEEE Trans. Electron. Comput..

[7]  Vinton Gray Cerf,et al.  Multiprocessors, semaphores, and a graph model of computation , 1972 .

[8]  Palo Alto Calif. Microprocessors.  Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977 , 1977 .

[9]  Gerald Estrin,et al.  Measurement based automatic analysis of FORTRAN programs , 1899, AFIPS '69 (Spring).

[10]  Gerald Estrin,et al.  Models of Computational Systems-Cyclic to Acyclic Graph Transformations , 1967, IEEE Trans. Electron. Comput..

[11]  Gerald Estrin,et al.  Developing a SARA building block - the 8080 , 1977, DAC 1977.

[12]  David Lorge Parnas,et al.  Significant event simulation , 1975, CACM.

[13]  Ernest M. Ligon.  A Significant Event , 1920, The Hospital.

[14]  Gerald Estrin,et al.  Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations , 1967, JACM.

[15]  Gerald Estrin,et al.  The graph model of behavior simulator , 1977, DAC 1977.

[16]  Mario R. Barbacci.  The Symbolic Manipulation of Computer Descriptions: ISPL Compiler and Simulator, , 1976 .

[17]  Warren Teitelman,et al.  Clisp: Conversational Lisp , 1973, IEEE Transactions on Computers.

[18]  Gerald Estrin,et al.  Specialization of SARA for software synthesis , 1977, DAC 1977.

[19]  Gerald Estrin,et al.  On Static Memory Allocation in Computer Systems , 1970, IEEE Transactions on Computers.

[20]  Gerald Estrin,et al.  DCDS digital simulating system , 1899, AFIPS '69 (Fall).

[21]  Donald E. Knuth,et al.  SOLߞA Symbolic Language for General-Purpose Systems Simulation , 1964, IEEE Trans. Electron. Comput..

[22]  Jr. Robert Irving Gardner.  A methodology for digital system design based on structural and functional modeling. , 1974 .

[23]  Gerald Estrin,et al.  Modeling, measurement and computer power , 1899, AFIPS '72 (Spring).

[24]  Gerald Estrin,et al.  Automatic Assignment of Computations in a Variable Structure Computer System , 1963, IEEE Trans. Electron. Comput..

[25]  Jean-Loup Baer,et al.  Bounds for Maxium Parallelism in a Bilogic Graph Model of Computations , 1969, IEEE Transactions on Computers.

[26]  Gerald Estrin,et al.  A Dynamic Memory Allocation Algorithm , 1970, IEEE Transactions on Computers.