D2.1c: IL Semantics

D2.1c Version 1.5

Download

LaTeX source ( IL15.tex )
Postscript ( IL15.ps )
BibTeX files ( IL.bib , crossref.bib , literatur.bib )

D2.1c Version 1.6

Preliminary Concrete Syntax for IL

The semantic framework underlying the Intermediate Language (IL) is described in Deliverable D2.1c (see above). To provide a minimal starting point for the translation of HDL into IL semantic constructs, a provisional concrete syntax in HOL is provided. [postscript | tex]

It is expected that the details given here will evolve when the actual translation of HDL to IL is undertaken.