Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong  Home/Search
Context Related
| ucr.edu/~vahid/cou...specsyn_tvlsi97.ps ucr.edu:8002/~vahi...specsyn_tvlsi97.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: ucr.edu/~vahid/courses/269_f98... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: System-level design issues are gaining increasing attention, as behavioral synthesis tools and methodologies mature. We present the SpecSyn system-level design environment, which supports the new specify-explore-refine (SER) design paradigm. This three-step approach to design includes precise specification of system functionality, rapid exploration of numerous system-level design options, and refinement of the specification into one reflecting the chosen option. A system-level design option... (Update)
Cited by: More
Dynamic Hardware/Software Partitioning: A First Approach - Greg Stitt Roman (2003) (Correct)
A Configurable Logic Architecture for Dynamic.. - Lysecky, Vahid (2004) (Correct)
Memory Aware Task Assignment and Scheduling for Multiprocessor.. - Szymanek (2001) (Correct)
Similar documents (at the sentence level):
79.8%: SpecSyn: An Environment Supporting the.. - Gajski, Vahid.. (1998) (Correct)
13.6%: System-Level Exploration with SpecSyn - Daniel Gajski (1998) (Correct)
Active bibliography (related documents): More All
1.6: Specification and Design of Embedded Software/Hardware Systems - Gajski, Vahid (1995) (Correct)
1.0: Functional Partitioning Improvements Over. . . - Vahid, al. (1998) (Correct)
0.9: A Three-Step Approach to the Functional Partitioning of Large.. - Vahid (1998) (Correct)
Similar documents based on text: More All
0.5: Conference, 1996. [VNG95] F. Vahid, S. Narayan, and D.. - Ieee Transactions On (Correct)
0.3: The SpecSyn Design Process and Human Interface - Gajski, Gong, Vahid, Narayan (1993) (Correct)
0.2: Trace-driven System-level Power Evaluation of.. - Givargis, Vahid, Henkel (2001) (Correct)
Related documents from co-citation: More All
9: Hardware-Software Cosynthesis for Microcontrollers (context) - ERNST, HENKEL et al. - 1993
7: Hardware-Software Cosynthesis for Digital Systems - GUPTA, MICHELI - 1993
6: System level hardwaresoftware partitioning based simulated annealing and tabu se.. - Kuchcinski, level et al. - 1997
BibTeX entry: (Update)
D. Gajski, F. Vahid, S. Narayan, and J. Gong, "Specsyn: An environment supporting the specify-explorerefine paradigm for hardware/software system design," IEEE Transactions on Very Large Scale Integration Systems, vol. 6, no. 1, pp. 84--100, 1998. http://citeseer.ist.psu.edu/article/gajski98specsyn.html More
@misc{ gajski98specsyn,
author = "D. Gajski and F. Vahid and S. Narayan and J. Gong",
title = "Specsyn: An environment supporting the specify-explorerefine paradigm for
hardware/software system design",
text = "D. Gajski, F. Vahid, S. Narayan, and J. Gong, Specsyn: An environment supporting
the specify-explorerefine paradigm for hardware/software system design,
IEEE Transactions on Very Large Scale Integration Systems, vol. 6, no. 1,
pp. 84--100, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/gajski98specsyn.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
297 STATEMATE: A working environment for the development of comp.. - Harel, Lachover et al. - 1988
217 High-Level Synthesis: Introduction to Chip and System Design (context) - Gajski, Dutt et al. - 1991
210 Synchronous data flow (context) - Lee, Messerschmitt - 1987
163 Hardware-software cosynthesis for microcontrollers (context) - Ernst, Henkel et al. - 1994
137 Hardware-software cosynthesis for digital systems - Gupta, DeMicheli - 1993
106 Hardware-software co-design of embedded systems (context) - Wolf - 1994
64 Synthesis and simulation of digital systems containing inter.. - Gupta, Coelho et al. - 1992
61 Automatic extraction of functional parallelism from ordinary.. (context) - Girkar, Polychronopoulos - 1992
45 Specification partitioning for system design (context) - Vahid, Gajski - 1992
44 Behavioral transformation for algorithmic level IC design - Walker, Thomas - 1989
39 Architectural partitioning for system level synthesis of int.. (context) - Lagnese, Thomas - 1991
38 Partitioning of functional models of synchronous digital sys.. (context) - Gupta, DeMicheli - 1990
36 A method for partitioning UNITY language in hardware and sof.. - Xiong, Barros et al. - 1994
33 Synthesis and optimization of interface transducer logic (context) - Borriello, Katz - 1987
32 A binary-constraint search algorithm for minimizing hardware.. (context) - Vahid, Gong et al. - 1994
31 Specification and design of embedded hardware-software syste.. (context) - Gajski, Vahid - 1995
30 High-level synthesis for real-time digital signal processing (context) - Vanhoof, VanRompaey et al. - 1993
27 Incorporating bottom-up design into hardware synthesis (context) - McFarland, Kowalski - 1990
27 CHOP: A constraint-driven system-level partitioner (context) - Kucukcakar, Parker - 1991
26 VHDL system-level specification and partitioning in a hardwa.. (context) - Eles, Peng et al. - 1992
24 Synthesis of system-level bus interfaces (context) - Narayan, Gajski - 1994
23 A global criticality/local phase driven algorithm for the co.. (context) - Kalavade, Lee - 1994
22 Incremental tree height reduction for high level synthesis (context) - Nicolau, Potasman - 1991
22 MULTIPAR: Behavioral partition for synthesizing multiprocess.. (context) - Chen, Hsu et al. - 1994
20 New Jersey: Prentice Hall (context) - Gajski, Vahid et al. - 1994
20 Configuration-level hardware/software partitioning for real-.. (context) - D'Ambrosio, Hu - 1994
19 Incremental hardware estimation during hardware/software fun.. - Vahid, Gajski - 1995
19 SpecCharts: A VHDL front-end for embedded systems - Vahid, Narayan et al. - 1995
19 Design of system interface modules (context) - Sun, Brodersen - 1992
18 A hardware/software codesign methodology for DSP application.. - Kalavade, Lee - 1993
16 An optimization approach to the synthesis of multichip archi.. (context) - Gebotys - 1994
15 An engineering environment for hardware/software co-simulati.. - Becker, Singh et al. - 1992
14 A methodology for control-dominated systems codesign (context) - Antoniazzi, Balboni et al. - 1994
14 Procedure exlining: A transformation for improved system and.. - Vahid - 1995
13 A comparison of functional and structural partitioning - Vahid, Le and et al. - 1996
11 Partitioning and exploration strategies in the tosca co-desi.. (context) - Balboni, Fornaciari et al. - 1993
9 Protocol generation for communication channels (context) - Narayan, Gajski - 1994
9 Software estimation using a generic processor model (context) - Gong, Gajski et al. - 1995
9 Clustering for improved system-level functional partitioning - Vahid, Gajski - 1995
9 Model refinement for hardware-software codesign - Gong, Gajski et al. - 1996
9 Hardware-software partitioning with iterative improvement he.. (context) - Eles, Peng et al. - 1996
7 Procedure cloning: A transformation for improved system-leve.. - Vahid - 1997
6 Flexible modeling environment for embedded systems design (context) - Sutarwala, Paulin - 1994
6 Synthesizing converters between finite state protocols (context) - Akella, McMillan - 1991
5 Process transformation for system level synthesis (context) - Hagerman, Thomas - 1993
5 Towards achieving a 100-hour design cycle: A test case (context) - Ramachandran, Gajski et al. - 1994
5 Port calling: A transformation for reducing i/o during multi.. - Vahid - 1997
5 Synthesis by delayed binding of decisions (context) - Rajan, Thomas - 1985
3 Design Systems for VLSI Circuits: Logic Synthesis and Silico.. (context) - DeMicheli, Sangiovanni-Vincentelli et al. - 1987
2 A component selection algorithm for high-performance pipelin.. (context) - Bakshi, Gajski - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ucr.edu/~vahid/courses/269_f98/): More
Effective Heterogenous Design And Co-Simulation - Chang Kalavade (1995) (Correct)
SpecCharts: A VHDL Front-End for Embedded Systems - Vahid (1995) (Correct)
Various Kinds of Petri Nets in Simulation and Modelling - Vojnar (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