Donald Bren School of Information and Computer Sciences

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.