NDLI: Specialization of SARA for software synthesis

Please wait, while we are loading the content...

N.mPc: An adaptable software system to support the development of microprocessor-based systems

Capability requirements in a multimicro processor, hardware/software simulation environment

Automatic design of multiprocessor microprocessor systems

Some applications of the Stanford University Drawing System for LSI microprocessor - “a picture is worth a thousand bytes.”

Automated design based upon Microprogrammable Bit Slice Microprocessors

Practical considerations in implementing a real-time controller design automation system

PLATO - PLA Translator/Optimizer - “a ROM is a PLA in no uncertain terms.”

User requirements for digital design verification simulators

Simulation hierarchy for microprocessor design

Verification of hardware designs thru symbolic manipulation

Modeling for synthesis - the gap between intent and behavior

State of the implementation of SARA

Multi-level modeling in SARA

The graph model of behavior simulator

Developing a SARA building block - the 8080

Specialization of SARA for software synthesis

Design aids and hardware testing of microprocessor system circuit packs

Modelling techniques for dynamic logic and test pattern generation of a microprocessor

Computer aids for the design of manufacturable microcomputer-based systems

Panel Discussions

Specialization of SARA for software synthesis

Content Provider	ACM Digital Library
Author	Campos, Ivan M. Estrin, Gerald
Abstract	The SARA system has been developed to permit top-down design without necessarily prespecifying that implementation would be done in software or hardware. It was felt very important to give the designer freedom to make that decision at a late stage and therefore select the appropriate place for the hardware-software interface. However, the synthesis methodology does not force the designer to hide an intention to use particular devices or particular software systems. Moreover, the area in greatest need of design assistance is programming where a language and associated virtual or real machine would already have been selected. Hence the question was raised, “What specialization of SARA would be important for the synthesis of software systems?” This paper discusses models of software systems under two very different conditions. In one, it is known that the design of a program for a sequential PL/I processor raises no synchronization issues to be managed by explicit flow-of-control models. Using a simple classical example, the paper shows that it is possible to describe a multi-level model, using SARA, which goes smoothly from programming-in-the-large to programming-in-the-small or actual code. In a second simple case synchronization issues are vital and it is important to keep a token machine explicitly in the model.
Starting Page	87
Ending Page	94
Page Count	8
File Format	PDF
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1977-02-24
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Workshop on methods and techniques for software architecture review and assessment (SARA)

Workshop on methods and techniques for software architecture review and assessment (SARA)

Hardware/software specialization through aspects: The LARA approach

Using indexed data structures for program specialization

Towards constructing reusable specialization components

Sars, a sara homolog repressible by agr, is an activator of protein a synthesis in staphylococcus aureus (2001).

Specialization and extrapolation of software cost models

Verifying programs via iterated specialization

Concurrent software system design supported by SARA at the age of one

Specialization of SARA for software synthesis

Similar Documents

Workshop on methods and techniques for software architecture review and assessment (SARA)

Workshop on methods and techniques for software architecture review and assessment (SARA)

Hardware/software specialization through aspects: The LARA approach

Using indexed data structures for program specialization

Towards constructing reusable specialization components

Sars, a sara homolog repressible by agr, is an activator of protein a synthesis in staphylococcus aureus (2001).

Specialization and extrapolation of software cost models

Verifying programs via iterated specialization

Concurrent software system design supported by SARA at the age of one

Specialization of SARA for software synthesis