*Result*: Improving the result of high-level synthesis using interactive transformational design.
Title:
Improving the result of high-level synthesis using interactive transformational design.
Authors:
Brauer, W., Gries, D., Stoer, J., Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John, Larsson, Mats1 mala@vtd.volvo.se
Source:
Theorem Proving in Higher Order Logics (9783540615873). 1996, p299-314. 16p.
Database:
Supplemental Index
*Further Information*
*This paper reports on work to alleviate the problem that high-level synthesis tools cannot in general produce results that are comparable in quality to manual design. We propose to use pre-synthesis transformations of algorithmic input specifications to improve the quality of the synthesis. By mechanising transformational reasoning about specifications as interactive theorem-proving in a proof system no errors are introduced during transformation, the designer can guide the tuning process and we can make behavioural transformations which extend the capabilities of the synthesis tool. [ABSTRACT FROM AUTHOR]*