A system-level specification & design methodology
Daniel D. Gajski, Sanjiv M. Narayan, Frank Vahid · 1992
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.