A transformational approach to VHDL and CDFG based high-level synthesis: a case study

Middelhoek, P.F.A.; Mekenkamp, G.E.; Molenkamp, Bert; Krol, Th.

doi:10.1109/cicc.1995.518133

Cited by 4 publications

(5 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We think, and early results confirm this [Middelhoek 1994a;1994b;Middelhoek et al 1995], 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.…”

Section: Efficiencymentioning

confidence: 50%

“…A diagram of the direction detector is shown in Figure 9. A more detailed description can be found in Middelhoek [1994b] and Middelhoek et al [1995]. Our direction detector was used in combination with an extended form of the ELA algorithm which first feeds the input signal through two low-pass filters and uses median interpolation instead of linear interpolation (Figure 8).…”

Section: Design Of An Ips Convertermentioning

confidence: 99%

“…Achieving correct designs is crucial in high-level synthesis and played the central role in the development of our methodology and design system TRADES [Middelhoek 1994a;1994b;Middelhoek et al 1995].…”

Section: Correctnessmentioning

confidence: 99%

“…This requires a partial flattening of the design. While area optimization was the primary objective in the Abs Diff example, the methodology can also be applied to minimize power or increase speed which typically requires the use of time-space transformations [Middelhoek 1994a;1994b;Middelhoek et al 1995]. …”

Section: Design Of An Abs-diffmentioning

confidence: 99%

See 3 more Smart Citations

From VHDL to efficient and first-time-right designs

Middelhoek

Sunitha

1996

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

In this article we provide a practical transformational approach to the synthesis of correct synchronous digital hardware designs from high-level specifications. We do this while taking into account the complete life cycle of a design from early prototype to full custom implementation. Besides time-to-market, both flexibility with respect to target architecture and efficiency issues are addressed by the methodology. The utilization of user-selected behaviorpreserving transformation steps ensures first-time-right designs while exploiting the experience, flexibility, and creativity of the designer.To ensure that design transformations are indeed behavior-preserving a novel mechanized approach to the specification and verification of design transformations on control data flow graphs which is independent of a specific behavioral model or graph size has been developed.As a demonstration of an industrial application we use a video processing algorithm needed for the conversion from a line-interlaced to progressively scanned video format. Both a video signal processor-based prototype implementation as well as a very efficient full custom implementation are developed starting from a single high-level behavioral specification of the algorithm in VHDL. Results are compared with those previously obtained using different tools and methodologies.

show abstract

Section: Efficiencymentioning

confidence: 50%

Section: Design Of An Ips Convertermentioning

confidence: 99%

Section: Correctnessmentioning

confidence: 99%

Section: Design Of An Abs-diffmentioning

confidence: 99%

See 2 more Smart Citations

From VHDL to efficient and first-time-right designs

Middelhoek

Sunitha

1996

ACM Trans. Des. Autom. Electron. Syst.

View full text Add to dashboard Cite

show abstract

“…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 iimplementation which allows us to compare our design results with those generated using existing commercial synthesis tools.…”

Section: Design Of An Edge Direction Detectormentioning

confidence: 99%

Arbitrary hardware software trade-offs

Middelhoek

Proceedings Sixth IEEE International Workshop on Rapid System Prototyping. Shortening the Path From Specification to Prototype

Self Cite

View full text Add to dashboard Cite

This paper discusses a novel transformation based design methodology and its use in the design of complex programmable VLSI systems. During the life cycl'e of a complex system the optimal trade-off between, partially, implementing in hardware or sofnvare is changing. This is due to varying system requirements (short time-tomarket, low-cost, low-power etc.) and improving device technology. The proposed methodology allows such redesigns to be made, using different hardware-software trade-offs, in a guaranteed correct way.

show abstract

A graph rewriting approach for transformational design of digital systems

Huijs

Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies

View full text Add to dashboard Cite

Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use of pre-proven behaviour preserving transformations as design steps. The formal aspects of this methodology are hidden in the transformations. A constraint is the availability of a design representation with a compositional f o r m 1 semantics. Graph representations are useful design representations because of their visualisation of design information. In this paper graph rewriting theory, as developed in the last twenty years in mathematics, is shown to be a useful basis for a formal framework for transformational design. The semantic aspects of graph which are no part of graph rewriting theory are included by the use of attributed graph. The used attribute algebra, table algebra, is a relation algebra derived from database theory. The combination of graph rewriting, table algebra and transformational design is new.

show abstract

A transformational approach to VHDL and CDFG based high-level synthesis: a case study

Cited by 4 publications

References 5 publications

From VHDL to efficient and first-time-right designs

From VHDL to efficient and first-time-right designs

Arbitrary hardware software trade-offs

A graph rewriting approach for transformational design of digital systems

Contact Info

Product

Resources

About