A system-level specification & design methodology
- Author(s): Gajski, Daniel
- Narayan, Sanjiv
- Vahid, Frank
- et al.
Given an abstract specification of a system, we present a methodology for specification capture and refinements that will result in synthesizable descriptions. It must be emphasized here that this report is about methodology - the set of descriptions and the manual refinements to derive one description from the other. Some of these refinements can be automated and collected as a set of system-level synthesis tools which are not a part of this report.