A formal framework for modular synchronous system design

Maria Cristina V. Marinescu, Martin C. Rinard

Producció científica: Capítol de llibreCapítolAvaluat per experts

1 Citació (Scopus)

Resum

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.

Idioma originalAnglès
Títol de la publicacióLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsKeijiro Araki, Stefania Gnesi, Dino Mandrioli
EditorSpringer Verlag
Pàgines482-502
Nombre de pàgines21
ISBN (imprès)9783540408284
DOIs
Estat de la publicacióPublicada - 2003
Publicat externament

Sèrie de publicacions

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volum2805
ISSN (imprès)0302-9743
ISSN (electrònic)1611-3349

Fingerprint

Navegar pels temes de recerca de 'A formal framework for modular synchronous system design'. Junts formen un fingerprint únic.

Com citar-ho