Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Dr Albert Koelmans, Professor Alex Yakovlev, Professor David Kinniment



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.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1992

Pages: 14

Print publication date: 01/01/1992

Source Publication Date: January 1992

Report Number: 371

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne