Daniel D. Gajski, Frank Vahid, Sanjiv Narayan  Home/Search
Context Related
| uci.edu/pub/cad/pu...hdl_frontend.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: VHDL and other hardware description languages have become popular as system specification languages in top-down design. However, their constructs do not support the behavioral specification of embedded systems. We introduce a new conceptual design model, called Program-State Machines, that caters to embedded systems. We then describe the SpecCharts language, an extended version of VHDL, which supports capture of this design model. In conjunction with a translator to VHDL, SpecCharts can be... (Update)
Context of citations to this paper: More
.... machines (CFSMs) 12] combining synchronous dataflow (SDF) 1] with finite state machines (FSMs) 13] 6] and program state machines [14]. Most of these approaches have limited composability as control and data flow cannot be mixed arbitrarily in the hierarchical levels....
.... AutoFOCUS leads itself naturally to both software [4] or hardware synthesis, similar to other synchronous formalisms such as SpecCharts [17], Esterel [3] or Statecharts [8] An integrated simulation tool should allow interactive simulation of the system model while...
Cited by: More
Hierarchical Finite State Machines with Multiple Concurrency.. - Girault, Lee, Lee (1999) (Correct)
Memory Aware Task Assignment and Scheduling for Multiprocessor.. - Szymanek (2001) (Correct)
ProGram: A Grammar-Based Method for Specification and Hardware.. - Öberg (1999) (Correct)
Similar documents (at the sentence level):
9.7%: SpecCharts: A VHDL Front-End for Embedded Systems - Vahid (1995) (Correct)
Active bibliography (related documents): More All
0.6: The SpecSyn Design Process and Human Interface - Gajski, Gong, Vahid, Narayan (1993) (Correct)
0.3: VHDL generation from SDL specifications - Daveau, Marchioro, Valderrama.. (1996) (Correct)
0.3: Transformations Supporting Interactive Rescheduling for.. - Roger Ang And (1992) (Correct)
Similar documents based on text: More All
0.6: Conference, 1996. [VNG95] F. Vahid, S. Narayan, and D.. - Ieee Transactions On (Correct)
0.6: A Transformation for Integrating VHDL Behavioral Specificatio:n - And (Correct)
0.3: SpecSyn: An Environment Supporting the.. - Gajski, Vahid.. (1998) (Correct)
Related documents from co-citation: More All
9: Statecharts: A visual formalism for complex systems - Harel - 1987
7: Specification and Design of Embedded Systems (context) - Gajski, Vahid et al. - 1994
6: Hardware-Software Cosynthesis for Microcontrollers (context) - ERNST, HENKEL et al. - 1993
BibTeX entry: (Update)
Frank Vahid, Sanjiv Narayan, and Daniel D. Gajski. SpecCharts: A VHDL front-end for embedded systems. IEEE Transactions on Computer-Aided Design, 14(6):694--706, June 1995. http://citeseer.ist.psu.edu/gajski95speccharts.html More
@techreport{ gajski93speccharts,
author = "Daniel D. Gajski and Frank Vahid and Sanjiv Narayan",
title = "SpecCharts: {A} {VHDL} Front-End for Embedded Systems",
number = "ICS-TR-93-31",
pages = "26",
year = "1993",
url = "citeseer.ist.psu.edu/gajski95speccharts.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1978
1174 Statecharts : A Visual Formalism for Complex Systems - Harel - 1987
270 Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993 ACM DBLP
134 The Verilog Hardware Description Language (context) - Thomas, Moorby - 1991
113 Requirements Specification for Process-Control Systems - Leveson, Heimdahl et al. - 1992 ACM DBLP
99 SDL with Applications from Protocol Specifications (context) - Belina, Sarma - 1991
50 System-level Synthesis using Re-programmable Components - Gupta, Micheli - 1992
45 Specification Partitioning for System Design (context) - Vahid, Gajski - 1992 ACM DBLP
24 HardwareC - A Language for Hardware Design (context) - Ku, Micheli - 1988
15 System Clock Estimation based on Clock Slack Minimization (context) - Narayan, Gajski - 1992
11 Translating System Specifications to VHDL (context) - Narayan, Vahid et al. - 1991 ACM
7 Using VHDL for Simulation of SDL Specifications (context) - Lutter, Glunz et al. - 1992 ACM
5 Modeling with SpecCharts (context) - Narayan, Vahid et al. - 1990
4 Obtaining Functionally Equivalent Simulations Using VHDL and.. (context) - Vahid, Gajski - 1991 DBLP
4 Integration of SDL and VHDL for High-Level Digital Design (context) - Pulkkinen, Kronlof - 1992 ACM
3 A User Interface for VHDL Behavioral Modeling (context) - Dutt, Cho et al. - 1991
2 Operational Specification of the SINCGARS Radio in VHDL (context) - MacDonald, Waxman - 1990
2 Structured Analysis and VHDL in Embedded ASIC Design and Ver.. (context) - Tikanen, Leppanen et al. - 1990 ACM
2 VHDL Transition from System to Detailed Design (context) - Arsenault, Wong et al. - 1990
2 Facilities for Controllers Modeling and Synthesis in VHDL (context) - Jerraya, Paulin et al. - 1991
The graph only includes citing articles where the year of publication is known.
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