P.F.A. Middelhoek, "Transformational design of a direction detector for the progressive scan conversion processor", CS Memorandum 94-64, University of Twente, October 1994.*  Home/Search   Document Details and Download   Summary   Related Articles   Check

....used to obtain gate level designs from RTL descriptions. Important features of SIL include hierarchy and design freedom. It has been used in the design of hardware for audio and video signal processing applications such as a direction detector for the progressive scan conversion algorithm [WMM 94, Mid 94 2] We use a property oriented approach to address the correctness problem. In this approach, a small set of basic properties corresponding to SIL graphs are asserted to be true. Such basic properties assumed to be true are called axioms. Other properties are checked to be true by applying a small ....

P.F.A. Middelhoek, Transformational Design of a Direction Detector for the Progressive Scan Conversion Algorithm, Preliminary, Department of Computer Science, University of Twente, May 25, 1994.

....description. The implementation suggestion may be tailored by using refinement and optimization transformations. SIL has been used in the design of hardware for audio and video signal processing applications such as a direction detector for the progressive scan conversion algorithm [vdWvMM 94, Mid94a] In one of the applications [Mid94b] a reduction of power consumption by 50 has been achieved. Many of the optimization transformations used in SIL are inspired by those used in compiler optimization, such as dead code elimination and common subexpression elimination. An optimized SIL graph ....

....this point in the w0 = w1 pp0 dot0 par0 par1 par11 par00 dot01 pp00 war1 war0 NOT (w0 w1 IFF war0 war1) Figure 7.5: Cross jumping tail merging: inapplicable when two nodes are merged into one. context of a situation that resulted during the transformational design of a direction detector [Mid94a] It involved a variation of the cross jumping tail merging transformation. In Figure 7.4, if we merge the nodes nodes dot0 and dot1 in the graph before applying the transformation, the precondition for the transformation would no longer be true. This is shown in Figure 7.5. Since the nodes are ....

P.F.A. Middelhoek. Transformational design of a direction detector for the progressive scan conversion algorithm. Technical report, Computer Science, University of Twente, Enschede, The Netherlands, May 1994. Preliminary.

....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 Fig. 2. A more detailed description can be found in [Mid94b]. 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 ....

P.F.A. Middelhoek, "Transformational design of a direction detector for the progressive scan conversion processor", CS Memorandum 94-64, University of Twente, October 1994.*

....regular array style processors. This partitioning was needed to allow the construction of efficient synthesis tools. Clearly such an approach is a severe limitation when targeting the complete life cycle of systems. Therefore we propose a novel design methodology, implemented in our system TRADES [2, 3, 4], which is independent of a specific target architecture and supports the complete life cycle of a product. It does so by allowing arbitrary trade offs between hardware or software implementation to be made in a guaranteed correct way. At the same time we are targeting the problem of interfacing ....

....as an add on. This focus on the user should also ease the acceptance of the method by designers. Within TRADES this implies that the selection of design steps (i.e. transformations) is done manually by the designer aided by a rule based system which contains generalized optimization guidelines [4]. Since conventional cost functions strongly depend on a specific target architecture they can only be used with great care. Obviously some well understood parts of design flows, such as scheduling, can and will be automated. Some other transformational design systems do exactly this. They limit ....

[Article contains additional citation context not shown here]

P.F.A. Middelhoek, Transformational Design of a Direction Detector for the Progressive Scan Conversion Processor, CS Memorandum 94-64, University of Twente, October 1994.*

....to the synthesis of digital hardware software systems with a focus on transformation based methods. 1.3 Context The work described in this thesis does not stand by it self. The transformational design methodology developed and implemented in the TRADES (TRAnsformational DEsign System) [MHM96, Mid93, Mid94a, Mid94b, Mid95, MiR96, MMM95] design environment strongly depends on the development of a powerful internal design representation [Klo92, Klo93, KMN92] and accompanying formal semantics [Hui93, Hui94, HuK94] This design representation was developed in an earlier phase of the TRADES project. Design transformations on this ....

....Design of Digital Circuits, Proc. of the Computer Systems Workshop, pp. 57 69, Eindhoven, November 1993. Mid94a] P.F.A. Middelhoek, Transformational Design of Digital Signal Processing Applications, Proc. of the ProRISC IEEE Workshop on CSSP, pp. 176 180, Arnhem, Netherlands, March 1994. [Mid94b] P.F.A. Middelhoek, Transformational Design of a Direction Detector for the Progressive Scan Conversion Processor, CS Memorandum 94 64, University of Twente, Netherlands, October 1994. Mid95] P.F.A. Middelhoek, Arbitrary Hardware Software Trade Offs, Proc. of the 6th IEEE International Workshop ....

[Article contains additional citation context not shown here]

P.F.A. Middelhoek, Transformational Design of a Direction Detector for the Progressive Scan Conversion Processor, CS Memorandum 94-64, University of Twente, Netherlands, October 1994.*

....VHDL description. These steps are continued until the constraints are met. Each time the VHDL description is altered extensive simulation, which is very time consuming, should be used to check whether the change was correct. In our system, called TRADES (Transformational DEsign System [Mid94a] Mid94b] VHDL is translated to a control data flow graph (CDFG) on a per statement basis which we refer to as a syntax based translation. Due to the syntax based approach the VHDL event mechanism appears in the CDFG (our CDFG is called SIL [Klo92] but less synthesis guidelines are required. The ....

....cumbersome 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. ....

P.F.A. Middelhoek, Transformational Design of a Direction Detector for the Progressive Scan Conversion Processor, CS Memorandum 9664, University of Twente, October 1994. *

No context found.

P.F.A. Middelhoek, "Transformational design of a direction detector for the progressive scan conversion processor", CS Memorandum 94-64, University of Twente, October 1994.*

....following subsections. The transparent translation of VHDL to SIL and removal of the event mechanism are discussed in Section 5. The construction of architectures from an algorithmic level specification is the topic of Section 6. Figure 2 shows our design methodology as implemented in the TRADES [Mid94a, Mid94b, MMM95, Mid95, MMH95, MiR96, MMM96] system. Behavioral VHDL Transparent Translation CDFG Synthesisable VHDL Transformation Tool Box Automatic Clean Up Interactive Design Binding User VSP Instructions Silage Design Parameter Extraction Transparent Translation Transparent Translation Transparent ....

P.F.A. Middelhoek, Transformational Design of a Direction Detector for the Progressive Scan Conversion Processor, CS Paper 94-64, University of Twente, Netherlands, October 1994.*

....processing 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 ....

....and 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. ....

[Article contains additional citation context not shown here]

P.F.A. Middelhoek, Transformational Design of a Direction Detector for the Progressive Scan Conversion Processor, CS Memorandum 94-64, University of Twente, Netherlands, October 1994.*

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