A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
In previous work we have demonstrated how the functional language SAFL can be used as a behavioural hardware description language. Other work (such as µFP and Lava) has demonstrated that functional languages are apposite for structural hardware description. One of the strengths of systems such as VHDL and Verilog is their ability to mix structural-and behavioural-level primitives in a single specification. Motivated by this observation, we describe a unified framework in which a stratifieddoi:10.1007/3-540-36126-x_20 fatcat:aw7xc3gnzzbthbdmw6lp3mzt3u