Optimizing behavioral transformations using Taylor Expansion Diagrams

2008 2008

Other formats: Order a copy

Abstract (summary)

Optimization of designs specified at higher levels of abstraction than gate-level or register-transfer level (RTL) has been shown to have the greatest impact on the quality of synthesized hardware. This work presents a systematic method and an experimental software system for behavioral transformations of designs specified at algorithmic and behavioral levels. It targets data-flow and computation-intensive designs used in digital signal processing applications. The system is intended to provide transformations of the initial design specifications prior to architectural and RTL synthesis. It aims at optimizing practical designs while taking into consideration hardware design constraints.

The system is based on canonical, graph-based representation, called Taylor Expansion Diagram (TED). The design, initially specified in C, system C, or behavioral hardware description language (HDL), is translated into a hybrid network composed of islands of functional blocks, represented as TEDs, and structural operators, represented as black boxes. TEDs, constructed from polynomial expressions describing functionality of the arithmetic components, are transformed into a structural data flow graph (DFG) representation through a series of TED transformation steps, such as TED linearization, factorization, common subexpression elimination, and TED decomposition. The resulting DFGs are combined with other operators in a hybrid structural network, which is then further restructured to minimize the design latency, subject to the imposed resource constraints. The behavioral transformation system presented in this work relies on novel TED decomposition and DFG restructuring algorithms to produce minimum-latency DFGs and heuristically minimize the overall TD network under the resource constraints.

The results show that this system can produce high quality results and can be applied to practical industrial designs. To the best of our knowledge this is the first truly behavioral optimization system which performs transformations of the behavioral design descriptions in a systematic fashion.

Indexing (details)

Electrical engineering
0544: Electrical engineering
Identifier / keyword
Applied sciences; Behavioral transformations; Data flow graphs; Register-transfer level; Taylor expansion diagrams
Optimizing behavioral transformations using Taylor Expansion Diagrams
Ren, Qian
Number of pages
Publication year
Degree date
School code
DAI-B 69/09, Dissertation Abstracts International
Place of publication
Ann Arbor
Country of publication
United States
Ciesielski, Maciej
Committee member
Burleson, Wayne; Immerman, Neil; Wolf, Tilman
University of Massachusetts Amherst
Electrical & Computer Engineering
University location
United States -- Massachusetts
Source type
Dissertations & Theses
Document type
Dissertation/thesis number
ProQuest document ID
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Document URL
Access the complete full text

You can get the full text of this document if it is part of your institution's ProQuest subscription.

Try one of the following:

  • Connect to ProQuest through your library network and search for the document from there.
  • Request the document from your library.
  • Go to the ProQuest login page and enter a ProQuest or My Research username / password.