A formal semantic model to fit SIL for transformational design
Corrie Huijs, Thijs Krol · 2002
SIL (SPRITE Input Language) is a single token signal flow graph representation developed as an intermediate format between specification languages and silicon compilers. This paper presents a part of a formal semantic model for SIL which is nicely intuitive because of the use of tables as mathematical representation of the semantics. Together with this semantic model SIL becomes a useful language backbone for transformational design.>