Graph Matching Constraints for Synthesis with Complex Components

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

Abstract

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.

Details

Authors
  • Ana Fuentes
  • Krzysztof Kuchcinski
Organisations
Research areas and keywords

Subject classification (UKÄ) – MANDATORY

  • Computer Science
Original languageEnglish
Title of host publicationProceedings of the Euromicro Symposium on Digital System Design
PublisherIEEE - Institute of Electrical and Electronics Engineers Inc.
Pages288-295
Number of pages8
ISBN (Print)978-0-7695-2978-3
Publication statusPublished - 2007
Publication categoryResearch
Peer-reviewedYes
Event10th Euromicro Conference on Digital System Design Architectures, Methods and Tools - Lübeck, Germany
Duration: 2007 Aug 292007 Aug 31

Conference

Conference10th Euromicro Conference on Digital System Design Architectures, Methods and Tools
CountryGermany
CityLübeck
Period2007/08/292007/08/31