System-level Design Based on Transformational Synthesis: Problems and Options (1992)

Author(s): Koelmans AM, Yakovlev A, Kinniment DJ

    Abstract: As a result of coordinating the submission of an ESPRIT 3 BRA proposal, called SYMBIOSIS (System Level Design Methedologies Based on Transformational Synthesis), we present a summary of the key issues and suggest options for further developments in digital systems design. Special attention is paid to the primary role of such aspects as formal synthesis based on proof techniques, declarative languages, control-dominated behavioural models, systems interfacing and asynchronous circuits.

      • Date: January 1992
      • Series Title: Computing Laboratory Technical Report Series
      • Pages: 14
      • Institution: Computing Laboratory, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Professor Alex Yakovlev
      Professor of Computer System Design