@inbook{66a70d55670b48de91e74352a963dff8,
title = "A formal framework for modular synchronous system design",
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.",
keywords = "Asynchronous, Formal, Modular, System design",
author = "Marinescu, {Maria Cristina V.} and Rinard, {Martin C.}",
year = "2003",
doi = "10.1007/978-3-540-45236-2_27",
language = "English",
isbn = "9783540408284",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "482--502",
editor = "Keijiro Araki and Stefania Gnesi and Dino Mandrioli",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
note = "12th International Symposium of Formal Methods Europe ; Conference date: 08-09-2003 Through 14-09-2003",
}