Graph Matching Constraints for Synthesis with Complex Components

Summary, in English

In this paper we present a new method for high-level synthesis that enhances design flexibility, specialization and performance primarily conceived for programmable hardware. New programmable hardware devices often provide fast dedicated components that perform complex computations. Arbitrary complex computations can be efficiently extracted from the CDFG using our new graph matching constraint to produce final implementations that better suit the design to the targeted architecture. Our algorithm also reduces possible syntactic variances detecting semantically equivalent structures in the graph. This new graph matching constraint was integrated in our own Constraint Programming solver engine together with other constraints to naturally model the heterogeneous features present in the synthesis problem. The use of complex functional modules is taken into account in the optimization process during binding and scheduling yielding significantly shorter schedules and gains in terms of area and performance. We demonstrate our technique on a variety of HLS benchmarks and show that efficient design space exploration can be accomplished using this technique.

• Författare: Ana Fuentes; Krzysztof Kuchcinski
• Avdelning/ar: Institutionen för datavetenskap; Parallella System; Programvarusystem
• Publiceringsår: 2007
• Språk: Engelska
• Sidor: 288-295
• Publikation/Tidskrift/Serie: Proceedings of the Euromicro Symposium on Digital System Design
• Länkar: http://dx.doi.org/10.1109/DSD.2007.4341482
• Dokumenttyp: Konferensbidrag
• Förlag: IEEE - Institute of Electrical and Electronics Engineers Inc.
• Ämne: Computer Science
• Conference name: 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools
• Conference date: 2007-08-29 - 2007-08-31
• Conference place: Lübeck, Germany
• Status: Published
• Forskningsgrupp: ESDLAB
• ISBN/ISSN/Övrigt: ISBN: 978-0-7695-2978-3