Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong, Copyright Daniel, D. Gajski, ...
Design representations Represents functionality but not implementation
Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong, Copyright Daniel, D. Gajski, ...
Design representations
Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong, Copyright Daniel, D. Gajski, ...
Design representations
Plot Nos.57 A&B, Noida Export Processing Zone (2008)
Mangalam G. N, Sanjiv Narayan, Paul Van Besouw, Lanae Avra, Anmol Mathur, Sanjeev Saluja
Abstract- Tree height reduction helps in minimizing the critical path delay and area in datapath rich designs during synthesis. We introduce in this paper, the necessary condi-tions to identify...
Daniel Gajski, Sanjiv Narayan, Frank Vahid
Given an abstract specification of a system, we present a methodology for specification capture and refinements that will result in synthesizable descriptions. It must be emphasized here that this...
Srivatsa, Uma N., Hoppe, Bobbi L., Narayan, Sanjiv, Feld, Gregory K., Birgersdotter-Green, Ulrika
Background: The incidence of inappropriate therapy from implantable cardioverter defibrillators (ICDs) has been reduced by programming ventricular arrhythmia discriminators (VAD) on at the time of...
Uma N Srivatsa, Bobbi L Hoppe, Sanjiv Narayan, Gregory K Feld, Ulrika Birgersdotter-Green
Background: The incidence of inappropriate therapy from implantable cardioverter defibrillators (ICDs) has been reduced by programming ventricular arrhythmia discriminators (VAD) on at the time of...
System-Level Exploration with SpecSyn (1998)
Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong
We present the SpecSyn system-level design environment supporting the specify-explore-re ne (SER) design paradigm. This three-step approach includes precise speci cation of system functionality,...
Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong
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...
Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong
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...
System-Level Exploration with SpecSyn (1998)
Daniel Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong
We present the SpecSyn system-level design environment supporting the specify-explore-refine (SER) design paradigm. This three-step approach includes precise specification of system functionality,...
SpecCharts: A VHDL Front-End for Embedded Systems (1995)
Frank Vahid, Sanjiv Narayan, Daniel D. Gajski
This paper is organized as follows. In Section 2, we demonstrate the difficulty of specifying embedded system characteristics using VHDL. In Section 3, we introduce the new PSM model, which easily...
Specification and refinement in system design /--by Sanjiv Narayan. (1994)
Thesis (Ph. D., Information and Computer Science)--University of California, Irvine, 1994.
Software Estimation from Executable Specifications (1994)
Jie Gong, Daniel D. Gajski, Sanjiv Narayan
Previous work in software/hardware codesign has addressed issues in system modeling, partitioning, and mixed module simulation and integration. Software estimation, which provides software metrics to...
Synthesis of System-Level Bus Interfaces (1994)
Sanjiv Narayan, Daniel D. Gajski
Given a set of communication channels to be imple- mented as a single bus, we present a bus-generation algo- rithm which determines the width of a bus implementation. Tradeoffs between the width of...
SpecCharts: a VHDL front-end for embedded systems (1993)
Daniel D. Gajski, Frank Vahid, Sanjiv Narayan
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...
The SpecSyn Design Process and Human Interface (1993)
Daniel Gajski, Jie Gong, Frank Vahid, Sanjiv Narayan
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...