Skip to main content
Open Access Publications from the University of California

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.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View