DocumentCode
2590673
Title
A formal semantic model to fit SIL for transformational design
Author
Huijs, Corrie ; Krol, Thijs
Author_Institution
Twente Univ., Enschede, Netherlands
fYear
1994
fDate
5-8 Sep 1994
Firstpage
100
Lastpage
107
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);
fLanguage
English
Publisher
ieee
Conference_Titel
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location
Liverpool
Print_ISBN
0-8186-6430-4
Type
conf
DOI
10.1109/EURMIC.1994.390401
Filename
390401
Link To Document