A formal framework for modular synchronous system design

Maria Cristina V. Marinescu, Martin C. Rinard

Research output: Book chapterChapterpeer-review

1 Citation (Scopus)

Abstract

We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the design time and effort required to build correct, efficient, complex systems and to eliminate the need for the designer to deal directly with global synchronization and concurrency issues. Our compiler automatically transforms modular and asynchronous specifications of circuits written in our specification language, into tightly coupled, fully synchronous implementations in synthesizable Verilog. We formally state the correctness theorems and give an outline of the correctness proofs for two of the three main techniques that our compiler implements.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsKeijiro Araki, Stefania Gnesi, Dino Mandrioli
PublisherSpringer Verlag
Pages482-502
Number of pages21
ISBN (Print)9783540408284
DOIs
Publication statusPublished - 2003
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2805
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • Asynchronous
  • Formal
  • Modular
  • System design

Fingerprint

Dive into the research topics of 'A formal framework for modular synchronous system design'. Together they form a unique fingerprint.

Cite this