SALSE II: A Fast Transformational Scheduler for High-level Synthesis
نویسندگان
چکیده
This paper describes an improved transformational approach to the scheduling problem in high-level synthesis. Based on an existing approach called SALSA [NES90], it uses more powerful transformations and lower bounds on scheduling cost to quickly find highquality schedules of data-oriented Control-Data Flow Graphs. Results show the ability to find very good schedules for difficult scheduling problems in very small amounts of CPU time. In addition, empirical results show that in contrast to other approaches, execution times can actually decrease as schedule length increases.
منابع مشابه
Transformational approach to transportation scheduling
We have used KIDS (Kestrel Interactive Development System) to derive extremely fast and accurate transportation schedulers from formal speciica-tions. As test data we use strategic transportation plans which are generated by U.S. government planners. In one such problem, the derived scheduler was able to schedule 15,460 individual movement requirements in 71 cpu seconds. The computed schedules ...
متن کاملRelational Semantics for Flow Graph Representations as Basis for Transformational Design of Digital Systems
Transformational design is a promising design methodology which combines correctness by construction and interactive design. In this design methodology the design steps are behaviour preserving transformations of one design representation into another. The representations used in transformational design need to have formal semantical models in order to prove the correctness, the behaviour prese...
متن کاملTransformational Design of Digital Systems Related to Graph Rewriting
Abstract. For high-level synthesis transformational design is a promising design methodology which combines correctness by construction and interactive design. In this design methodology the design steps are behaviour preserving transformations of one design representation into another. Because of the importance of visualisation of design-information several kinds of graphs are used as design r...
متن کاملTransformational Design of Digital Systems based on Graph Rewriting
Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of preproven behaviour preserving transformations as design steps. Transformational design is a formal design methodology in which formal aspects are hidden for the designer. Formal aspects of transformational design as a methodology for high-level synthesis, ar...
متن کاملA Scalable Methodology for Cost Estimation in a Transformational High - Level Design Space Exploration Environment 1 1
Objective of the methodology presented in this paper is to perform design space exploration on a high level of abstraction by applying high-level transformations. To realize a design loop which is close and settled on upper design levels, a high-level estimation step is integrated. In this paper, several estimation methodologies fixed on different states of the high-level synthesis process are ...
متن کامل