Abstract | ||
---|---|---|
This paper presents an algebraic compilation approach to the correct synthesis (compilation into hardware) of a synchronous language with shared variables and parallelism. The synthesis process generates a hardware component that implements the source program by means of gradually reducing it into a highly parallel state-machine. The correctness of the compiler follows by construction from the correctness of the transformations involved in the synthesis process. Each transformation is proved sound from more basic algebraic laws of the source language; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming. The proposed approach is based on previous efforts that handle both software and hardware compilation, in a pure algebraic style, but the complexity of our source language demanded significant adaptations and extensions to the existing approaches. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/s00236-011-0142-y | Acta Inf. |
Keywords | DocType | Volume |
hardware component,correct hardware synthesis,source program,algebraic compilation approach,basic algebraic law,source language,pure algebraic style,synthesis process,hardware compilation,correct synthesis,algebraic approach,synchronous language | Journal | 48 |
Issue | ISSN | Citations |
7-8 | 0001-5903 | 1 |
PageRank | References | Authors |
0.35 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Juan Ignacio Perna | 1 | 17 | 2.78 |
Jim Woodcock | 2 | 244 | 18.34 |
Augusto Sampaio | 3 | 96 | 13.42 |
Juliano Iyoda | 4 | 61 | 9.21 |