See this document in CiteSeerX!

A Specification Invariant Technique for Operation Cost Minimisation in Flow-graphs (1994)  (Make Corrections)  (22 citations)
Martin Janssen, Francky Catthoor, Hugo De Man
Internationl Symposium on High-level Synthesis



  Home/Search   Context   Related

 
View or download:
imec.be/adopt/hlsw94mj.ps
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  imec.be/adopt/publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: In high-level synthesis, optimisingarea, time, andpower in real-time applications are the prime objectives. In this paper, a new model and technique are proposed, which minimise a weighted operation cost function for data-paths at an early stage in the synthesis process. Our main target domain consists of lowly-multiplexed and hard-wired implementations of real-time DSP applications. The behavioral specification of an application is translated into a signal flow-graph,the operation cost... (Update)

Context of citations to this paper:   More

.... [29] for optimizing multiple constant multiplications [30, 31] and as an algebraic transformation for operation cost minimization [32, 33]. A converse of CSE, namely, common sub expression replication has been proposed to aid scheduling by adding redundant operations [34,...

.... [5] for optimizing multiple constant multiplications [6, 7] and as an algebraic transformation for operation cost minimization [8, 9]. 10] and [11] present the converse of CSE, namely, common subexpression replication, whereby a redundant operation is inserted to aid...

Cited by:   More
Figure 13. Decoupling Capacitance Hierarchy - Board Power Supply   (Correct)
System-Level Data-Flow Transformation Exploration.. - Catthoor.. (1997)   (Correct)
Systematic Speed-Power Data-Layout Exploration for .. - Miranda, Ghez..   (Correct)

Active bibliography (related documents):   More   All
1.0:   A Specification Invariant Technique for Regularity.. - Janssen, Catthoor, De.. (1996)   (Correct)
0.2:   Integrating Program Transformations in the Memory-Based.. - Kolson, Nicolau, Dutt (1994)   (Correct)
0.1:   From VHDL to Efficient and First-Time-Right Designs: A Formal.. - Middelhoek (1995)   (Correct)

Similar documents based on text:   More   All
0.3:   Abstraction of Word-level Linear Arithmetic.. - Dasgupta.. (2001)   (Correct)
0.3:   Cathedral-III Architecture-Driven High-level Synthesis for .. - Throughput Dsp.. (1991)   (Correct)
0.3:   Truncation noise in fixed-point SFGs - Constantinides, Cheung, Luk   (Correct)

Related documents from co-citation:   More   All
9:   Optimizing the Resource Utilization Using Transformations (context) - Potkonjak, Rabaey - 1991
8:   SPRITE deliverable LS (context) - Kloosterhuis, Eyckmans et al. - 1993
7:   PHIDEO: a silicon compiler for high speed algorithms (context) - Lippens, van Meerbergen et al. - 1991

BibTeX entry:   (Update)

J.M.J. Janssen, F. Catthoor, H. De Man, "A Specification Invariant Technique for Operation Cost Minimisation in Flowgraphs, " Proc. 7th IEEE Int. Symp. on High-Level Synthesis, pp. 146--151, 1994. http://citeseer.ist.psu.edu/janssen94specification.html   More

@inproceedings{ janssen94specification,
    author = "M. Janssen and F. Catthoor and H. De Man",
    title = "A specification invariant technique for operation cost minimisation in flow-graphs",
    booktitle = "Internationl Symposium on High-level Synthesis",
    year = "1994",
    url = "citeseer.ist.psu.edu/janssen94specification.html" }
Citations (may not include all citations):
1726   Graph-Based Algorithms for Boolean Function Manipulation - Bryant - 1986
1399   Compilers: Principles (context) - Aho, Sethi et al. - 1986
277   Advanced Compiler Optimizations for Supercomputers (context) - Padua, Wolfe - 1986
150   MIS: A Multiple-Level Logic Optimization System (context) - Brayton, Rudell et al. - 1987
108   Discrete cosine transform (context) - Ahmed - 1974
49   The tiny loop restructuring research tool - Wolfe - 1991
44   Behavioral Transformations for Algorithmic Level IC Design - Walker, Thomas - 1989
42   Program Improvement by Sourceto -Source Transformation (context) - Loveman - 1977
42   Optimizing Resource Utilization using Transformations (context) - Potkonjak, Rabaey - 1991
41   Parallel and Pipelined VLSI Implementation of Signal Process.. (context) - Dewilde, Deprettere et al. - 1985
39   Compiler optimizations for enhancing parallelism and their i.. (context) - Polychronopoulos - 1988
31   Maximally Fast and Arbitrarily Fast Implementation of Linear.. (context) - Potkonjak, Rabaey - 1992
30   An Approach to Ordering Optimizing Transformations (context) - Whitfield, Soffa - 1990
26   Flamel: A high-Level Hardware Compiler (context) - Trickey - 1987
22   Incremental Tree Height Reduction For High Level Synthesis (context) - Nicolau, Potasman - 1991
19   SynGuide: An environment for doing interactive Correctness P.. - Samsom, Claesen et al. - 1993
16   An Approach For Power Minimization Using Transformations (context) - Chandrakasan, Potkonjak et al. - 1992
7   Algebraic Recurrence Transformations for Massive Parallelism (context) - Fettweis, Thiele - 1992
6   Compilation of Arithmetic Expressions for Parallel Computati.. (context) - Bear, Bovet - 1969
2   Regular Module Generation or Standard Cells: Two Alternative.. (context) - Katsadas, Sahraoui et al. - 1992
1   Optimising Synchronous Circuitry by Retiming (context) - Leiserson, Rose et al. - 1983



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.imec.be/adopt/publications.html):   More
High-level Address Optimisation and Synthesis Techniques .. - Catthoor, Janssen, De.. (1998)   (Correct)
Analysis of High-level Address Code Transformations.. - Gupta, Miranda..   (Correct)
Address Equation Multiplexing For Real-Time Signal.. - Miranda, Catthoor, De.. (1994)   (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