Daniel Gajski, Jie Gong, Frank Vahid, Sanjiv Narayan  Home/Search
Context
Related
| uci.edu/pub/cad/pu...sign_process.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: uci.edu/pub/cad/public_ft...INDEX (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report describes a presentation on the design methodology and the user's view of the SpecSyn system design framework. Given an abstract specification of a system, we present specification capture and the subsequent refinements that will result in synthesizable descriptions. The advantages of the underlying methodology compared to current approaches are highlighted. Contents 1 Introduction 2 1.1 Current Design Methodology : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : ... (Update)
Active bibliography (related documents): More All
0.6: SpecCharts: A VHDL Front-End for Embedded Systems - Gajski, Vahid, Narayan (1995) (Correct)
0.5: EDgAR: A Platform for Hardware/Software Codesign - Esteves, Fernandes, Proenca (1997) (Correct)
0.3: A Survey on Design Quality Estimation for Embedded Systems - Gianluca Cornetta (1996) (Correct)
Similar documents based on text: More All
0.4: System-Level Exploration with SpecSyn - Daniel Gajski (1998) (Correct)
0.4: SpecSyn: An Environment Supporting the.. - Gajski, Vahid.. (1998) (Correct)
0.3: A Transformation for Integrating VHDL Behavioral Specificatio:n - And (Correct)
BibTeX entry: (Update)
@techreport{ gajski93specsyn,
author = "Daniel Gajski and Jie Gong and Frank Vahid and Sanjiv Narayan",
title = "The SpecSyn Design Process and Human Interface",
number = "ICS-TR-93-03",
pages = "46",
year = "1993",
url = "citeseer.ist.psu.edu/gajski93specsyn.html" }
Citations (may not include all citations):45 Specification Partitioning for System Design (context) - Vahid, Gajski - 1992
30 Kluwer Academic Publishers (context) - Lipsett, Schaefer et al. - 1989
17 System Specification and Synthesis with the SpecCharts Langu.. (context) - Narayan, Vahid et al. - 1991
16 Synthesis from VHDL (context) - Lis, Gajski - 1988
15 System Clock Estimation based on Clock Slack Minimization (context) - Narayan, Gajski - 1992
13 Area and Performance Estimation from System-Level Specificat.. (context) - Narayan, Gajski - 1992
11 Translating System Specifications to VHDL (context) - Narayan, Vahid et al. - 1991
5 SpecCharts: A Language for System Level Synthesis (context) - Vahid, Narayan et al. - 1991
5 Modeling with SpecCharts (context) - Narayan, Vahid et al. - 1990
4 Obtaining Functionally Equivalent Simulations Using VHDL and.. (context) - Vahid, Gajski - 1991
4 Behavioral Synthesis from VHDL Using Structured Modeling (context) - Lis - 1992
4 Constant-Time Cost Evaluation for Behavioral Partitioning (context) - Vahid, Narayan et al. - 1992
2 A Survey of Behavioral-Level Partitioning Systems (context) - Vahid - 1991
1 A Survey of System-Level Specification Languages (context) - Narayan - 1992
1 A System-Level Specification and Design Methodology (context) - Gajski, Narayan et al. - 1992
Documents on the same site (http://recluse.ics.uci.edu/pub/cad/public_ftp/cadlab-trs/1993/INDEX.html): More
Software Estimation from Executable Specifications - Gong, Gajski, Narayan (1993) (Correct)
Design Space Exploration for The Beamformer System - Smita Bakshi Daniel (1993) (Correct)
Architectural Exploration - Bakshi, Juan, Gajski (1993) (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