9. Transformation of SAFL Specifications
In their survey paper , 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.