Ingo Sander, Axel Jantsch  Home/Search
Context Related
| ele.kth.se/ESD/doc...pecification.ps.gz ele.kth.se/~ingo/P...malSystemDesign.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ele.kth.se/ESD/...PublicationList (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 abstraction 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... (Update)
Context of citations to this paper: More
...5. Design Space Exploration Starting with an unconstrained system model of an ATM Switch with operation and maintenance functionality [15, 16] (Fig. 7) we illustrate the design exploration process, which includes data type exploration and architecture exploration. During data...
...given here are peer reviewed. 1.3. 1 Publications included in this Thesis Modeling The modeling concepts of ForSyDe have been introduced in [94]. The paper presents the use of a synchronous computational model and the concept of process constructors . It exemplifies the modeling...
Cited by: More
A Petri Net based Modeling and Verification Technique for.. - Cortes (2001) (Correct)
System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
System Synthesis Based on a Formal Computational Model and.. - Sander, Jantsch (1999) (Correct)
Active bibliography (related documents): More All
0.4: Evaluation of Languages for Specification of Complex Telecom .. - Jantsch, Kumar, al. (1998) (Correct)
0.4: On the Roles of Functions and Objects in System Specification - Jantsch, Sander (2000) (Correct)
0.3: Heterogeneous System-Level Cosimulation with SDL and Matlab - Bjuréus, Jantsch (1999) (Correct)
Similar documents based on text: More All
0.5: System Modelling and SDL-Matlab Cosimulation - Jantsch (2001) (Correct)
0.4: Transformational System Design Based on a Formal.. - Wu, Sadler, Jantsch (2000) (Correct)
0.3: Development and Application of Design Transformations in.. - Sander, Jantsch, Lu (2003) (Correct)
Related documents from co-citation: More All
2: Lectures on constructive functional programming (context) - Bird - 1988
2: Kluwer Academic Publisher (context) - Gajski, Synthesis - 1992
2: The synchronous approach to reactive and real-time systems (context) - Benveniste, Berry - 1991
BibTeX entry: (Update)
Ingo Sander, Axel Jantsch, "Formal System Design Based on the Synchrony Hypothesis, Functional Models, and Skeletons ", Proceedings of the IEEE International Conference on VLSI Design, 1999. http://citeseer.ist.psu.edu/sander99formal.html More
@misc{ sander99formal,
author = "I. Sander and A. Jantsch",
title = "Formal System Design Based on the Synchrony Hypothesis, Functional Models,
and Skeletons",
text = "Ingo Sander, Axel Jantsch, Formal System Design Based on the Synchrony
Hypothesis, Functional Models, and Skeletons , Proceedings of the IEEE International
Conference on VLSI Design, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/sander99formal.html" }
Citations (may not include all citations):235 The Synchronous Data Flow Programming Language LUSTRE - Halbwachs, Caspi et al. - 1991
211 The Synchronous Approach to Reactive and Real-Time Systems (context) - Benveniste, Berry - 1991
138 Lectures on Constructive Functional Programming (context) - Bird - 1988
121 Programming Real-Time Applications with SIGNAL (context) - Le Guernic, Gautier et al. - 1991
112 STATECHARTS: A Visual Approach to Complex Systems (context) - Harel - 1987
79 The ESTEREL Language (context) - Boussinot, de Simone - 1991
54 Rules and Strategies for Transforming Functional and Logic P.. - Pettorossi, Proietti - 1996
29 Design of Embedded Systems: Formal Models, Validation and Sy.. - Edwards, Lavagno et al. - 1997
21 VHDL generation from SDL specifications - Daveau, Marchioro et al. - 1997
13 System Specification with SpecCharts Language (context) - Narayan, Vahid et al. - 1992
10 A Methodology and Algorithms for Efficient Inter-process Com.. (context) - Svantesson, Kumar et al. - 1998
9 Realtime Signal Processing (context) - Reekie - 1995
9 ISDN Operation and Maintenance Principles and Functions (context) - Recommendation, B- - 1993
9 Using VHDL for HW/SW Co-Specification (context) - Ecker - 1993
7 A Denotational Framework for comparing Models of Computation (context) - Lee, Sangiovanni-Vincentelli - 1997
6 Modelling of an ATM Multiplexer in a Network Terminal for a .. - Horn - 1998
6 Hardware/Software Co-design of Digital Telecommunication Sys.. (context) - Bolsens, de Man et al. - 1997
5 Haskell Report (context) - Peterson, Hammond
3 The Transformational Derivation of Parallel Programs using D.. (context) - Sudholt - 1997
2 Foundations of Parallel Programming (context) - Skilicorn - 1994
1 Concurrent Programming (context) - Armstrong, Virding et al.
Documents on the same site (http://www.ele.kth.se/ESD/doc/PublicationList.html): More
Flexible codesign target architecture for early.. - Tammemäe, O'Nils, Hemani (Correct)
Comparison of Four Heuristic Algorithms for Unified.. - Ellervee, Kumar, Hemani (1997) (Correct)
An Efficient Scheme for Hardware Implementation of.. - Svantesson, Kumar.. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC