A survey of system-level specification languages
Sanjiv M. Narayan · eScholarship (California Digital Library) · 1992
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.