Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons

Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems. Moreover, they are frequently on a too high ion level to allow for efficient synthesis with today's techniques. We address this problem with a modelling method, which is strictly formal and based on formal semantics, a pure functional language, and the synchrony hypothesis. But the use of skeletons in conjunction with a proper computational model allows to associate a direct hardware interpretation. In particular we use (1) the synchrony hypothesis and a timed signal model to provide a traction for communication at the system level. This facilitates efficient modelling and design space exploration at the functional level, because the designer is not concerned with complex communication mechanisms, and functionality can easily be moved from one block to another. To bridge the gap between an elegant and ...

• Type: Conference
• Year: 1999
• Where: VLSID
• Authors: Ingo Sander, Axel Jantsch
• Keywords: Formal Approaches, Pure Functional Language, Synchrony Hypothesis, VLSI, VLSID 1999