UCI Cadlab
Conference Papers 1990-1994
---------------------------

iccad94_5b_1
edac94_bus
edac94_meth
eurodac93
dac92
hlsw92
iccad91
edac91

Disclaimer -- Permission to make digital/hard copy of all or part of any of the following publications and technical reports for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. To copy otherwise, to republish, to post on servers, or to redistribute to lists requires prior specific permission.

 

Postscript iccad94_5b_1

Smita Bakshi and Daniel D. Gajski,
"Design Exploation for High-Performance Pipelines,"
International Conference of Computer Aided Design, San Jose, Nov. 1994

Exploration plays an important role in the design of high-performance pipelines. We propose an exploration strategy for varying three design parameters by using a performance-constrained component selection and pipelining algorithm on different ``architectures''. The architecture is specified manually by using a mix of behavioral and structural constructs, while the component selection and pipelining is performed automatically using our algorithms. Results on two industrial-strength DSP systems, indicate the effectiveness of our strategy in exploring a large design space within a matter of seconds.

 

Postscript edac94_meth

Daniel D. Gajski, Frank Vahid and Sanjiv Narayan,
"A System-Design Methodology: Executable-Specification Refinement,"
European Conference on Design Automation, Paris, France, Feb. 1994.

As methodologies and tools for chip-level design mature, design effort becomes focused on increasingly higher levels of abstraction. We present a methodology and tool for system-level specification, design and refinement that result in an executable specification for each system component. The specification for each component can then be synthesized into hardware or compiled to software. We highlight advantages of the proposed methodology compared to current practice.

 

Postscript edac94_bus

Sanjiv Narayan and Daniel D. Gajski,
"Synthesis of System-Level Bus Interfaces,"
European Conference on Design Automation, Paris, France, Feb. 1994

Given a set of communication channels to be implemented as a single bus, we present a bus-generation algorithm which determines the width of a bus implementation. Tradeoffs between the width of the bus and the performance of the processes communicating over the bus are evaluated. The algorithm incorporates system level constraints such as data transfer rates and the number of pins and allows several channels that may be transferring different sizes of data to be implemented as a single bus. We demonstrate through a detailed example the usefulness of the algorithm in implementing system-level interfaces between modules.

 

Postscript eurodac93

Sanjiv Narayan and Daniel D. Gajski,
"Features Supporting System-Level Specification in HDLs,"
Presented at the 2nd EuroDAC/EuroVHDL, Hamburg, 1993

As synthesis tools become more advanced and reliable, the entry point for the designer in the design process is moving towards higher levels of specification. In this paper, issues related to the specification of embedded systems are discussed. We compare VHDL with five other specification languages: HardwareC, SDL (Specification and Description Language), Statecharts, SpecCharts, and CSP (Communicating Sequential Processes). The capabilities of these languages with respect to specifying designs at the system-level are highlighted. We conclude by presenting a list of features which are desirable in a language to be used for specifying systems.

 

Postscript dac92

Frank Vahid and Daniel D. Gajski,
"Specification Partitioning for System Design,"
Proceedings of the 29th Design Autiomation Conference, Anaheim, 1992

Behavioral partitioning can be applied to attain various goals, one of which is the satisfaction of chip-packaging constraints. Such partitioning heavily influences decisions made in subsequent structural design, and may therefore lead to higher performance designs and more efficient use of area and pins than possible when structure is designed before partitioning. Current behavioral partitioning approaches are limited in that they partition at the level of control/dataflow graph operations. We introduce a new approach which partitions entire computations of a behavioral specification, such as processes and procedures, into chip behavioral specifications. We demonstrate the approach's usefulness and highlight results of several examples.

 

Postscript hlsw92

Pradip K. Jha and Nikil D. Dutt,
"Rapid Estimation for Parametrized Components in High-Level Synthesis,"
6th International Workshop on High-Level Synthesis, December 1992, 11 pages.

High-level synthesis tools often use parameterized component generators for describing the synthesized RT design. Rapid area and delay estimation of the instantiated components is necessary for effective component selection and allocation, and is crucial for performing design space exploration. Although constructive methods yield good estimates, they require excessive run times and thus have to be run off-line. In this paper, we describe a fast (on-line) method for estimating the area and delay of regular-structured generic RT components that are tuned to a particular technology library. The estimation models are generated using a least-square approximation on a set of sample data points from selected component implementations. Our approach has been tested against real data points on combinational as well as sequential components and the results show a prediction of the area and delay to within 10% of the actual values. These models have also been integrated with a high-level synthesis system to permit on-line estimation of a component's area and delay.

 

Postscript iccad91

Sanjiv Narayan, Frank Vahid Daniel D. Gajski,
"System Specification and Synthesis with the SpecCharts Language,"
International Conference on Computer Aided Design (ICCAD), Santa Clara, 1991

There is a need for capturing behavioral specifications of entire systems and obtaining multi-chip designs from those specifications. We discuss system level specification and synthesis issues, along with the unique requirements they place on a specification language. Since no current language meets those requirements, the SpecCharts language was created on top of VHDL. Its model and constructs permit capturing system specifications simply and precisely, while aiding synthesis.

 

Postscript edac91

Sanjiv Narayan, Frank Vahid Daniel D. Gajski,
"Translating System Specifications to VHDL,"
European Conference on Design Automation (EDAC), Amsterdam, 1991.

Languages based on hierarchical and concurrent state diagrams are powerful in specifying system level designs. Simulating such languages can be simplified by translating to a simulation language such as VHDL and then using available simulators. This paper describes system level abstractions commonly found in specification languages and presents semantic preserving VHDL implementations.

 


Last update: March 25, 1999 by A. Gerstlauer (gerstl@cecs.uci.edu).