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

A survey of system-level specification languages


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
For improved accessibility of PDF content, download the file to your device.
Current View