Abstract:
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.
Fulltext:
PDF file (798 kB)