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

A system-level specification & design methodology

  • Author(s): Gajski, Daniel
  • Narayan, Sanjiv
  • Vahid, Frank
  • et al.
Abstract

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
Current View