P.F.A. Middelhoek, G.E. Mekenkamp, B.E. Molenkamp, T. Krol. A Transformational Approach to VHDL and CDFG Based High-Level Synthesis: a Case Study. CICC'95, Santa Clara, CA, May 1995, pp. 37-40.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....designer [4] or in a script oriented fashion [9] In both strategies, the transformation results heavily depend on the experience of the human designer or script writer. Approaches on automated control of the transformation process are usually restricted to fixed optimization goals, e.g. area [7] or power [6] fixed target architectures, e.g. DSP applications [5] or a fixed (small and specific) set of basic transformation types [10] In [8] transformation selection bases on a simple classification of the transformation set (by identification of so called enabling transformations) This ....

.... e.g. DSP applications [5] or a fixed (small and specific) set of basic transformation types [10] In [8] transformation selection bases on a simple classification of the transformation set (by identification of so called enabling transformations) This strategy has been extended in [5] and [7]. In contrast to all of the approaches outlined above, our methodology supports arbitrary transformation sets, multiple target architectures, and user defined (combinations of) optimization goals, and for this, contains a high degree of flexibility. 3. High Level Design Space Exploration Figure ....

P.F.A. Middelhoek, G.E. Mekenkamp, B.E. Molenkamp, T. Krol. A Transformational Approach to VHDL and CDFG Based High-Level Synthesis: a Case Study. CICC'95, Santa Clara, CA, May 1995, pp. 37-40.

....a large set of correctness preserving transformations and selects, possibly supported by a transformational design system, which transformations will be used and in what order. In this design approach the decisions and their alternatives become clear which increases the insight of the designer [1] and stimulates his creativity. The feasibility of transformational design, especially for DSP (Digital Signal Processing) design applications, is shown [1, 2] Transformational design is used for area, time as well as power optimisation objectives until now. Transformational design is assumed to ....

....used and in what order. In this design approach the decisions and their alternatives become clear which increases the insight of the designer [1] and stimulates his creativity. The feasibility of transformational design, especially for DSP (Digital Signal Processing) design applications, is shown [1, 2]. Transformational design is used for area, time as well as power optimisation objectives until now. Transformational design is assumed to be formally well founded. Often more attention seems to be given to show its feasibility than to its formal aspects [3] Correctness is related to the ....

[Article contains additional citation context not shown here]

P.F.A. Middelhoek, G. E. Mekenkamp, E. Molenkamp, Th. Krol, A Transformational Approach to VHDL and CDFG Based High-Level Synthesis: a Case Study, Proc. of CICC 95, pp. 37-40, Santa Clara, Ca, May 1995. ( http//wwwspa.cs.utwente.nl/aid/trades/trades.html)

....large set of these correctness preserving transformations and, possibly supported by a transformational design system, he selects which transformations will be used and in what order. In this design approach decisions and their alternatives become clear which increases the insight of the designer [Middelhoek95], stimulating his creativity. The feasibility of transformational design, especially for DSP design applications, becomes more and more clear[Middelhoek95, Potkonjak94, Chandrakasan95] Transformational design until now is used for area, time as well as power optimisation objectives. Figure 1 ....

....be used and in what order. In this design approach decisions and their alternatives become clear which increases the insight of the designer [Middelhoek95] stimulating his creativity. The feasibility of transformational design, especially for DSP design applications, becomes more and more clear[Middelhoek95, Potkonjak94, Chandrakasan95]. Transformational design until now is used for area, time as well as power optimisation objectives. Figure 1 shows informally how the critical path in a specification can be reduced just by using a transformation based on the associativity of addition. TRANSFORMATIONAL DESIGN OF DIGITAL ....

[Article contains additional citation context not shown here]

P.F.A. Middelhoek, G. E. Mekenkamp, E. Molenkamp, Th. Krol, A Transformational Approach to VHDL and CDFG Based High-Level Synthesis: a Case Study, accepted for IEEE CICC, May 1995 . * Available at http//wwwspa.cs.utwente.nl/aid/trades/trades.html TRANSFORMATIONAL DESIGN OF DIGITAL SYSTEMS RELATED TO GRAPH REWRITING 10

....gets a large set of correctness preserving transformations and selects, possibly supported by a transformational design system, which transformations will be used and in what order. In this design approach decisions and their alternatives become clear which increases the insight of the designer [1], stimulating his creativity. The feasibility of transformational design, especially for DSP (Digital Signal Processing) design applications, becomes more and more clear [1, 2, 3] Until now transformational design is used for area, time as well as power optimisation objectives. Figure 1 shows ....

....what order. In this design approach decisions and their alternatives become clear which increases the insight of the designer [1] stimulating his creativity. The feasibility of transformational design, especially for DSP (Digital Signal Processing) design applications, becomes more and more clear [1, 2, 3]. Until now transformational design is used for area, time as well as power optimisation objectives. Figure 1 shows informally how the critical path in a specification can be reduced just by using a transformation based on the associativity of addition. The transformation rule is specified ....

[Article contains additional citation context not shown here]

P.F.A. Middelhoek, G. E. Mekenkamp, E. Molenkamp, Th. Krol, A Transformational Approach to VHDL and CDFG Based High-Level Synthesis: a Case Study, Proc. of CICC 95, pp. 37-40, Santa Clara, Ca, May 1995. (also: http//wwwspa.cs.utwente.nl/aid/trades/trades.html)

....loop related) ordering of operations in the specification is not changed during the synthesis [6, 18] This is not acceptable in our application domain where this modification is a major source of optimization, as already indicated. Another approach is based on a correctness preserving methodology [11, 12]. With this approach a correct design can be obtained, but designers are limited in the modeling power and in the number of transformations available. This usually restricts the design flexibility. Moreover, only small transformations steps are possible and the approach does not allow to verify ....

P.Middelhoek, G.Mekenkamp, B.Molenkamp, T.Krol, A transformational approach to VHDL and CDFG based high-level synthesis: a case study, Proc. IEEE Custom Integrated Circuits Conf., Santa Clara CA, pp.37-40, May 1995.

No context found.

P.F.A. Middelhoek, G.E. Mekenkamp, E. Molenkamp, Th. Krol, "A transformational approach to VHDL and CDFG based high-level synthesis: a Case Study, accepted for CICC 95, Santa Clara, May 1995.

....more evident. Our research tries to facilitate high level synthesis. The current direction in highlevel synthesis is focused towards powerful algorithms to solve a particular problem. In our transformational design system (TRADES) the user provides solutions to the optimization problem. TRADES [1][2] is based on a control data flow graph called SIL. The design system contains many pre proven behavior preserving transformations. A designer can select which transformations are to be applied where in a graph. Since each transformation is behavior preserving the design is correct by construction. ....

P.F.A. Middelhoek, G.E. Mekenkamp, E. Molenkamp, and Th. Krol, "A transformational approach to VHDL and CDFG based high-level synthesis: a case study," in Proc. of the CICC 95, Santa Clara, May 1995, pp. 37--40.

....The smallest gradient indicates the direction of the edge. This algorithm in combination with linear interpolation of the luminance signal is known as the edge based line average (ELA) algorithm. A diagram of the direction detector is shown in figure 12. A more detailed description can be found in [4, 30]. The direction detector was used in combination with an extended form of the ELA algorithm which first feeds the input signal through a low pass filter and uses median interpolation instead of linear interpolation. This last modification requires the luminance of the pixel from the previous field ....

....software implementation was designed for realization on a multi video signal processor based prototyping system developed by Philips [34] and also an efficient full custom hardware implementation. Both design flows are illustrated in figure 13. More details on the design experiment can be found in [30]. We used the commercial View Synthesis tools to derive an additional full custom implementation which allows us to compare our design results with those generated using existing commercial synthesis tools. Our design flows start by writing a high level VHDL specification for the direction ....

[Article contains additional citation context not shown here]

P.F.A. Middelhoek, G.E. Mekenkamp, E. Molenkamp, Th. Krol, A Transformational Approach to VHDL and CDFG based High-Level Synthesis: a Case Study, accepted for CICC 95, 1995.*

No context found.

P.F.A. Middelhoek, G.E. Mekenkamp, E. Molenkamp, Th. Krol, A Transformational Approach to VHDL and CDFG based High-Level Synthesis: a Case Study, Proc. of the CICC 95, pp. 37-40, Santa Clara, CA, May 1995.*

....work while the designer takes decisions that require creativity. In contrast to the regular push button systems some synthesis systems have incorporated a limited degree of user interaction to allow the designer to make decisions. We have chosen a user centred design methodology ( Mid94b] MMM95] in which the designer can apply pre proven behavior preserving transformations ( EMH93] Raj94] on a CDFG. The designer selects a transformation and a position where the transformation should be applied. Therefore, it is desirable that the translation process is straight forward. Using a ....

P.F.A. Middelhoek, G.E. Mekenkamp, E. Molenkamp, Th. Krol, A Transformational Approach to VHDL and CDFG based High-Level Synthesis: a Case Study, Proc. of the CICC 95, pp. 37-40, Santa Clara, CA, May 1995.*

....algorithm is shown. A novel approach to the verification of design transformations is discussed in Section 7. 2. Correctness Achieving correct designs is crucial in high level synthesis and played the central role in the development of our methodology and design system TRADES [Mid94a, Mid94b, MMM95, Mid95] We identify four major levels in the design of digital systems: requirements, specification, implementation, and realization. The system requirements capture the desired properties of a system informally, often in natural language. At the specification level system requirements are ....

....much effort has been put in developing good optimization algorithms. Because of the size of both designs and design space, and the nature of the optimization problems (many are NP hard) optimal solutions can in general not be guaranteed. We think, and early results confirm this [Mid94a, Mid94b, MMM95, Mid95] that better, more efficient designs can be obtained by exploiting the flexibility, creativity, and experience of the designer in an interactive design environment. As noted earlier, in real life a designer most often already has experience with a design or similar designs. Automatic ....

[Article contains additional citation context not shown here]

P.F.A. Middelhoek, G.E. Mekenkamp, E. Molenkamp, Th. Krol, A Transformational Approach to VHDL and CDFG based High-Level Synthesis: a Case Study, Proc. of the CICC 95, pp. 37-40, Santa Clara, CA, May 1995.*

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