Semantics of high-level hardware description language HaSCoL

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.