A formal framework for modular synchronous system design

Maria Cristina V. Marinescu, Martin C. Rinard

Producción científica: Capítulo del libroCapítulorevisión exhaustiva

1 Cita (Scopus)

Resumen

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 originalInglés
Título de la publicación alojadaLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditoresKeijiro Araki, Stefania Gnesi, Dino Mandrioli
EditorialSpringer Verlag
Páginas482-502
Número de páginas21
ISBN (versión impresa)9783540408284
DOI
EstadoPublicada - 2003
Publicado de forma externa

Serie de la publicación

NombreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen2805
ISSN (versión impresa)0302-9743
ISSN (versión digital)1611-3349

Huella

Profundice en los temas de investigación de 'A formal framework for modular synchronous system design'. En conjunto forman una huella única.

Citar esto