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

A survey of system-level specification languages

  • Author(s): Narayan, Sanjiv
  • et al.
Abstract

As synthesis tools become more advanced and reliable, the entry point for the design tools in the design process is moving towards higher levels of specification. In this report, issues related to the specification of reactive, transformational systems are discussed. Several existing system specification languages are examined and their capabilities with respect to specifying designs at the system-level are compared.

Main Content
Current View