Modeling for synthesis - the gap between intent and behavior
Proceedings of the Symposium on Design Automation and Microprocessors
Proceedings of the Symposium on Design Automation and Microprocessors
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Automatic synthesis of microcontrollers
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Specialization of SARA for software synthesis
Proceedings of the Symposium on Design Automation and Microprocessors
Hi-index | 0.00 |
The SARA design methodology consists of a structured design procedure together with a set of description and analysis tools. Originally the methodology was used manually, the designer interpreting the methodology's modeling languages, and the designer analyzing the modeled behavior of those systems by hand. However, during the past eighteen months some of the SARA description and analysis tools have been automated and fit into an interactive computer-based design system. The SARA design methodology is made up of two components: a structured procedure for designing digital systems, and a set of tools for modeling and analyzing the systems during their design. The design procedure is described in [GAR75], [EST77]. The SARA design procedure is not explicitly represented in the set of modeling/analysis tools. That is, there is not an automatic design driver that leads the human designer through a structured design and in turn calls on the appropriate design tools. Rather, the designer interprets the SARA design procedure and selects the use of the appropriate design tools himself.