Christian Blumenröhr  Home/Search
Context
Related
| goethe.ira.uka.de/fsynth/pu...Blum99.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: goethe.ira.uka.de/fsynth...Blum99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, a new and formal methodology for specifying and synthesizing systems is presented. Systems are modeled as structures of concurrent processes. The way the processes communicate realizes a hand-shake protocol. The specification at the system level is part of our hardware description language Gropius, which ranges from the gate to the system level. Gropius was designed for a formal synthesis scenario, where synthesis is performed by applying basic mathematical rules within a... (Update)
Active bibliography (related documents): More All
0.9: Deriving Structural RT-Implementations from - Algorithmic Descriptions By (Correct)
0.7: Performing High-Level Synthesis via Program.. - Blumenröhr, Eisenbiegler (Correct)
0.6: On the Efficiency of Formal Synthesis - Experimental.. - Blumenrohr.. (1999) (Correct)
Similar documents based on text: More All
0.3: Gropius - Advanced Reuse Concepts in a New Hardware.. - Eisenbiegler, Blumenröhr (Correct)
0.3: Formal Synthesis at the Algorithmic Level - Blumenröhr, Sabelfeld (Correct)
0.2: Applicability of Formal Synthesis Illustrated via.. - Blumenröhr, Eisenbiegler, .. (1996) (Correct)
BibTeX entry: (Update)
@misc{ hr-formal,
author = "Christian Blumenröhr",
title = "A Formal Approach to Specify and Synthesize at the System Level",
url = "citeseer.ist.psu.edu/666449.html" }
Citations (may not include all citations):592 Introduction to HOL: A Theorem Proving Environment for Highe.. (context) - Gordon, Melham - 1993
161 Specification and design of embedded system (context) - Gajski, Vahid et al. - 1994
66 Analysis Methods and Practical Use (context) - Jensen, Nets - 1992
20 Integration of formal methods with system design (context) - Mayger, Fourman - 1991
15 Formal synthesis in circuit design-A classification and surv.. - Kumar, Blumenrohr et al. - 1996
13 Ruby design system (context) - Sharp, Rasmussen - 1995
12 An engineering approach to formal digital system design - Larsson - 1995
11 Automata --- A theory dedicated towards formal circuit synth.. - Eisenbiegler - 1997
11 DDD: A system for mechanized digital design derivation - Johnson, Bose - 1991
7 Implementation issues about the embedding of existing high l.. - Eisenbiegler, Blumenrohr et al. - 1996
6 Synthesis under local timing constraints in the CAMAD hig-le.. - Hallberg, Peng - 1995
5 Performing high-level synthesis via program transformations .. (context) - Blumenrohr, Eisenbiegler - 1998
4 Transformational Design: An Architecture Independent Interac.. - Middelhoek - 1997
2 An efficient representation for formal synthesis (context) - Blumenrohr, Eisenbiegler - 1997
2 Deriving structural RT-implementations from algorithmic desc.. (context) - Blumenrohr, Eisenbiegler - 1998
1 Correct high-level synthesis: a formal perspective - Mendias, Hermida et al. - 1998
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