Methodology for design of digital systems: supported by SARA at the age of one
Efforts toward computer-aided design of computers are described. A design methodology is discussed first. It can be characterized as requirement-driven and supportive of self-documenting design of modular, concurrent, hardware, and software systems. A flow chart indicates the processes of initialization, partition (or composition) and its evaluation, and implementation. Then the SARA (System ARchitect's Apprentice) system, a system implemented to support a designer attempting to use the methodology mentioned above, is described. Topics discussed include the user interface, structural and behavioral modeling tools, the design library, behavioral-structural mapping, and multilevel modeling. 7 figures, 2 tables. (RWR)
- Research Organization:
- Univ. of California, Los Angeles
- OSTI ID:
- 6314742
- Journal Information:
- AFIPS, Conf. Proc.; (United States), Journal Name: AFIPS, Conf. Proc.; (United States) Vol. 81:116; ISSN AFPGB
- Country of Publication:
- United States
- Language:
- English
Similar Records
SARA aided design of software for concurrent systems
Modeling for synthesis: the gap between intent and behavior