A denotational semantics for SIL-1 as basis for transformational design of digital systems
Corrie Huijs · University of Twente Research Information · 1994
Transformational design is a promising design methodology which combines correctness by construction and interactive design. In this design methodology the design steps are behaviour preserving transformations of one design representation into another. The representations used in transformational design need to have formal semantic models in order to prove the correctness, behaviour preserving characteristics, of transformations. Flow graph representations have appeared to be useful in high level synthesis. 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 formal semantic model for SIL which is denotational. The presented denotational semantics is based on relational algebras for tables and orders. Together with this semantic model SIL becomes a useful language backbone for transformational design. 1. Introduction Transformational design could...