Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977 - researchr publication

researchr

You are not signed in
Sign in
Sign up

William M. van Cleemput, John C. Foster, Donald C. S. Allison, editors, Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977. IEEE Press / ACM Digital Library, 1977. [doi]

Conference: dam

Abstract is missing.

N.mPc: An adaptable software system to support the development of microprocessor-based systemsCharles W. Rose. 1 [doi]

Capability requirements in a multimicro processor, hardware/software simulation environmentPaul J. Drongowski. 2-5 [doi]

Automatic design of multiprocessor microprocessor systemsHoo-Min D. Toong. 6-14 [doi]

Some applications of the Stanford University Drawing System for LSI microprocessor - "a picture is worth a thousand bytes."Will Sherwood. 15-19 [doi]

Automated design based upon Microprogrammable Bit Slice MicroprocessorsBernard J. Carey, George F. MacLachlan. 20-24 [doi]

Practical considerations in implementing a real-time controller design automation systemR. J. Smith II, M. N. Matelan. 25-27 [doi]

PLATO - PLA Translator/Optimizer - "a ROM is a PLA in no uncertain terms."Will Sherwood. 28-35 [doi]

User requirements for digital design verification simulatorsW. Werner, W. Minnick. 36-43 [doi]

Simulation hierarchy for microprocessor designWill Sherwood. 44-49 [doi]

Verification of hardware designs thru symbolic manipulationTodd J. Wagner. 50-53 [doi]

Modeling for synthesis - the gap between intent and behaviorGerald Estrin. 54-59 [doi]

State of the implementation of SARARobert I. Gardner. 60-62 [doi]

Multi-level modeling in SARARobert I. Gardner. 63-66 [doi]

The graph model of behavior simulatorRami R. Razouk, Gerald Estrin. 67-76 [doi]

Developing a SARA building block - the 8080William T. Overman, Gerald Estrin. 77-86 [doi]

Specialization of SARA for software synthesisIvan M. Campos, Gerald Estrin. 87-94 [doi]

Design aids and hardware testing of microprocessor system circuit packsJohn Grason. 95-99 [doi]

Modelling techniques for dynamic logic and test pattern generation of a microprocessorB. A. Prasad. 100-107 [doi]

Computer aids for the design of manufacturable microcomputer-based systemsLawrence A. O'Neill. 108 [doi]

Panel DiscussionsJohn Teets, Charles W. Rose, Edward J. McCluskey. 110 [doi]

runs on WebDSL