caa a22 4500 445869593 CHVBK 20180317145507.0 cr unu---uuuuu 170323e20111201xx s 000 0 eng 10.1007/s00236-011-0142-y doi (NATIONALLICENCE)springer-10.1007/s00236-011-0142-y Correct hardware synthesis [Elektronische Daten] An algebraic approach [Juan Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda] 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. Springer-Verlag, 2011 Perna Juan Computer Science Department, The University of York, York, UK aut Woodcock Jim Computer Science Department, The University of York, York, UK aut Sampaio Augusto Centro de Informatica, Universidade Federal de Pernambuco, Recife, Brazil aut Iyoda Juliano Centro de Informatica, Universidade Federal de Pernambuco, Recife, Brazil aut Acta Informatica Springer-Verlag 48/7-8(2011-12-01), 363-396 0001-5903 48:7-8<363 2011 48 236 https://doi.org/10.1007/s00236-011-0142-y text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s00236-011-0142-y text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Perna Juan Computer Science Department, The University of York, York, UK aut NATIONALLICENCE 700 1- Woodcock Jim Computer Science Department, The University of York, York, UK aut NATIONALLICENCE 700 1- Sampaio Augusto Centro de Informatica, Universidade Federal de Pernambuco, Recife, Brazil aut NATIONALLICENCE 700 1- Iyoda Juliano Centro de Informatica, Universidade Federal de Pernambuco, Recife, Brazil aut NATIONALLICENCE 773 0- Acta Informatica Springer-Verlag 48/7-8(2011-12-01), 363-396 0001-5903 48:7-8<363 2011 48 236 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer