Ingo Sander, Axel Jantsch  Home/Search
Context Related
Links: ACM | ele.kth.se/ESD/doc/ar99/i...wvlsi.ps.gz 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 used 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 synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware implementation. The functional model is strictly... (Update)
Context of citations to this paper: More
...Stockholm, Sweden wenbiao, ingo, axel] ele. kth. se Abstract The Formal System Design methodology ForSyDe [1,2,3] is extended by a systematic refinement methodology based on tramformations, which gradually tramforms a high level, function oriented system description into...
...the functional domain to produce VHDL or C C for the hardware and software parts. Code generation in our methodology is discussed in [12]. 3.2 The System Model The system model reflects the design principles of the ForSyDe methodology. In order to allow for formal design on a...
Cited by: More
Performance Estimation in ForSyDe - Zhang (2002) (Correct)
Refinement of a System Specification for a Digital Equalizer into.. - Lu (2002) (Correct)
System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
Similar documents (at the sentence level):
29.0%: Formal System Design Based on the Synchrony Hypothesis.. - Sander, Jantsch (1999) (Correct)
Active bibliography (related documents): More All
0.4: On the Roles of Functions and Objects in System Specification - Jantsch, Sander (2000) (Correct)
0.3: A Petri Net based Modeling and Verification Technique for.. - Cortes (2001) (Correct)
0.3: Evaluation of Languages for Specification of Complex Telecom .. - Jantsch, Kumar, al. (1998) (Correct)
Similar documents based on text: More All
0.3: 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)
0.2: ClearSyDe, a Graphical User Interface for the ForSyDe Methodology - Ciuro (2002) (Correct)
Related documents from co-citation: More All
5: System Synthesis Utilizing a Layered Functional Model (context) - Sander, Jantsch - 1999
3: Transformational system design based on a formal computational model and skeleto.. - Wu, Sander et al. - 2000
3: Specification and Transformation of Programs (context) - Partsch - 1990
BibTeX entry: (Update)
Ingo Sander and Axel Jantsch, "System Synthesis Based on a Formal Computational Model and Skeletons", Proceedings of the IEEE Computer Society Annual Workshop on VLSI, 1999. http://citeseer.ist.psu.edu/sander99system.html More
@misc{ sander99system,
author = "I. Sander and A. Jantsch",
title = "System Synthesis Based on a Formal Computational Model and Skeletons",
text = "Ingo Sander and Axel Jantsch, System Synthesis Based on a Formal Computational
Model and Skeletons, Proceedings of the IEEE Computer Society Annual Workshop
on VLSI, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/sander99system.html" }
Citations (may not include all citations):242 Concurrent Programming in Erlang - Armstrong, Virding et al. - 1993
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 ACM
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
85 Circuit Design in Ruby (context) - Jones, Sheeran - 1990
79 The ESTEREL Language (context) - Boussinot, de Simone - 1991
55 Models and Languages for Parallel Computation - Skillicorn, Talia - 1998 ACM DBLP
54 Rules and Strategies for Transforming Functional and Logic P.. - Pettorossi, Proietti - 1996 ACM DBLP
29 Design of Embedded Systems: Formal Models, Validation and Sy.. - Edwards, Lavagno et al. - 1997
24 Microprocessor Specification in Hawk - Matthews, Launchbury et al. - 1998
13 System Specification with SpecCharts Language (context) - Narayan, Vahid et al. - 1992
9 Realtime Signal Processing (context) - Reekie - 1995
7 HML: An Innovative Hardware Description Language and its Tra.. - Li, Leeser - 1995
7 Systems Engineering with SDL (context) - Olsen, Faergemand et al. - 1995 ACM
7 A Denotational Framework for comparing Models of Computation (context) - Lee, Sangiovanni-Vincentelli - 1997
7 HML: An Innovative Hardware Description Language and its Tra.. - Li, Leeser - 1995
6 Modelling of an ATM Multiplexer in a Network Terminal for a .. - Horn - 1998
5 Haskell Report (context) - Peterson, Hammond
3 Formal System Design Based on the Synchrony Hypothesis, Func.. - Sander, Jantsch - 1999
3 The Transformational Derivation of Parallel Programs using D.. (context) - Sudholt - 1997
2 Foundations of Parallel Programming (context) - Skilicorn - 1994 ACM
The graph only includes citing articles where the year of publication is known.
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