9. Transformation of SAFL Specifications

  • Richard Sharp
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2963)


In their survey paper [98], McFarland et al highlight source-level transformation of input specifications as an important technique for the future of HLS. The idea is that high-level transformation of behavioural specifications will be used to express a number of architectural trade-offs. Such transformations may be applied fully automatically, fully manually or (ideally) within a unified framework facilitating a combination of the two approaches.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Richard Sharp

    There are no affiliations available

    Personalised recommendations