Title :
A formal semantic model to fit SIL for transformational design
Author :
Huijs, Corrie ; Krol, Thijs
Author_Institution :
Twente Univ., Enschede, Netherlands
Abstract :
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
Keywords :
circuit layout CAD; formal specification; formal verification; hardware description languages; high level synthesis; network routing; signal flow graphs; SIL; SPRITE Input Language; formal semantic model; intermediate format; language backbone; silicon compilers; single token signal flow graph representation; specification languages; transformational design; Algebra; Data communication; Flow graphs; Mathematical model; Process design; Signal design; Silicon compiler; Specification languages; Spine; Sprites (computer);
Conference_Titel :
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location :
Liverpool
Print_ISBN :
0-8186-6430-4
DOI :
10.1109/EURMIC.1994.390401
