Geodesic
Semantics of high-level hardware description language HaSCoL
Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 2 (2012), pp. 81-96

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper describes semantics for a high-level hardware description language HaSCoL. The language allows to describe a synchronous digital integrated circuit via blocking message passing, blockable pipelines and control constructs, which all software developers are used to. All complex constructs are expressed in terms of a much simpler base level of the language, which is in turn defined in terms of a simple model of computation of a synchronous digital circuit.
Keywords: EDA, semantics.
Mots-clés : HLS, VLSI 
@article{VSPUI_2012_2_a9,
     author = {O. V. Medvedev},
     title = {Semantics of high-level hardware description language {HaSCoL}},
     journal = {Vestnik Sankt-Peterburgskogo universiteta. Prikladna\^a matematika, informatika, processy upravleni\^a},
     pages = {81--96},
     publisher = {mathdoc},
     number = {2},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a9/}
}
TY  - JOUR
AU  - O. V. Medvedev
TI  - Semantics of high-level hardware description language HaSCoL
JO  - Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
PY  - 2012
SP  - 81
EP  - 96
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a9/
LA  - ru
ID  - VSPUI_2012_2_a9
ER  - 
%0 Journal Article
%A O. V. Medvedev
%T Semantics of high-level hardware description language HaSCoL
%J Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
%D 2012
%P 81-96
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a9/
%G ru
%F VSPUI_2012_2_a9
O. V. Medvedev. Semantics of high-level hardware description language HaSCoL. Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, no. 2 (2012), pp. 81-96. http://geodesic.mathdoc.fr/item/VSPUI_2012_2_a9/