Transformational System Design Based on Formal Computational Model and Skeletons [chapter]

Wenbiao Wu, Ingo Sander, Axel Jantsch
2001 System-on-Chip Methodologies & Design Languages  
The Formal System Design methodology ForSyDe [1, 2, 3] is extended by a systematic refinement methodology based on transformations, which gradually transforms a high-level, function oriented system description into a synthesizable model. We group transformations according to three different criteria: (1) whether they preserve semantics or they constitute a design decision; (2) whether they are simple rewriting rules or complex patterns; (3) whether they transform combinatorial functions,
more » ... ns or data types. We illustrate the use of transformations with three examples taken from an ATM based network terminal system.
doi:10.1007/978-1-4757-3281-8_15 fatcat:v34ycqmbr5cn5cgoofawm4i65e