Wenbiao Wu, Ingo Sadler, Axel Jantsch  Home/Search
Context Related
| ele.kth.se/~wenbiao/pap...wu2000a.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/cgibin/Publ...pubcond (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 a synthesizable model. We group tramformations 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 tramform combinatorial functiong skeletons or... (Update)
Context of citations to this paper: More
.... transformations [10] can be used to transform a system model inside the functional domain into a more effective implementation model [15]. The process Inc # illustrates the clean separation between synchronization and computation. The skeleton mapSY processes an event in each...
...contributed with many ideas before he joined industry. Wu Wenbiao worked together with the author of the thesis on design transformation [115] for about one and a half years. Recently Zhonghai Lu, Tarvo Raudvere and Ashish Kumar Singh joined the ForSyDe group. Zhonghai Lu s...
Cited by: More
Refinement of a System Specification for a Digital Equalizer into.. - Lu (2002) (Correct)
System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
Transformation Based Communication and Clock Domain.. - Sander, Jantsch (2002) (Correct)
Active bibliography (related documents): More All
0.8: Transformational System Design Based on a Formal.. - Wu, Sander, Jantsch (2000) (Correct)
0.5: System Support for the Interactive Transformation of.. - Partsch, Schulte.. (2002) (Correct)
0.3: Memory Aware Task Assignment and Scheduling for Multiprocessor.. - Szymanek (2001) (Correct)
Similar documents based on text: More All
0.4: System Modelling and SDL-Matlab Cosimulation - Jantsch (2001) (Correct)
0.4: On the Roles of Functions and Objects in System Specification - Jantsch, Sander (2000) (Correct)
0.4: Development and Application of Design Transformations in.. - Sander, Jantsch, Lu (2003) (Correct)
Related documents from co-citation: More All
3: System Synthesis Based on a Formal Computational Model and Skeletons - Sander, Jantsch - 1999
2: Why functional programming matters - Hughes - 1984
2: Kluwer Academic Publisher (context) - Gajski, Synthesis - 1992
BibTeX entry: (Update)
W. Wu, I. Sander, and A. Jantsch. Transformational system design based on a formal computational model and skeletons. In Forum on Design Languages 2000. http://citeseer.ist.psu.edu/wu00transformational.html More
@misc{ wu00transformational,
author = "W. Wu and I. Sander and A. Jantsch",
title = "Transformational system design based on a formal computational model and
skeletons",
text = "W. Wu, I. Sander, and A. Jantsch. Transformational system design based
on a formal computational model and skeletons. In Forum on Design Languages
2000.",
year = "2000",
url = "citeseer.ist.psu.edu/wu00transformational.html" }
Citations (may not include all citations):385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
85 Circuit Design in Ruby (context) - Jones, Sheeran - 1990
54 Rules and Strategies for Transforming Functional and Logic P.. - Pettorossi, Proietti - 1996
46 Lava: Hardware Design in Haskell - Bjesse, Claessen et al. - 1998
45 A Framework for Comparing Models of Computation (context) - Lee, Sangiovanni-Vincentelli - 1998
24 Microprocessor Specification in Hawk - Mattews, Cook et al. - 1998
16 Towards a New Standard for System-Level Design - Liao - 2000
9 System Synthesis Based on a Formal Computational Model and S.. - Sander, Jantsch - 1999
9 Realtime Signal Processing (context) - Reekie - 1995
6 From Transistors to Computer Architecture: Teaching Function.. (context) - O'Donnell - 1995
6 the Roles of Functions and Objects in System Specification - Jantsch, Sander - 2000
5 System Synthesis Utilizing a Layered Functional Model (context) - Sander, Jantsch - 1999
4 Superlog, a unified design language for system-on-chip (context) - Hake, Davidmann - 2000
3 Formal Design Based on the Synchronous Approach (context) - Sander, Jantsch - 1999
2 Deductive Hardware Design: A Functional Approach (context) - MOller - 1997
1 HML: A Novel Hardware Description Language and Its Translati.. (context) - Li, Leeser - 2000
Documents on the same site (http://www.ele.kth.se/cgi-bin/Publications/pubcond): More
Generic VHDL Implementation of a PCNN with Loadable Coefficients .. - Millberg (1999) (Correct)
Generic VHDL Implementation of a PCNN with Loadable.. - Millberg, Öberg, Waldemark (1998) (Correct)
The Virtual Prototyping of an AM Chip Using Grammar.. - Deb, Hemani, Postula.. (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