Case Study: Constraint Programming in a System Level Synthesis Framework
2014 (English)In: PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 846-861 p.Conference paper (Refereed)
This article presents a case study of using a constraint programming solver in a system level synthesis framework called SYLVA. The solver is used to find the repetition vector of a synchronous data flow graph and serving as the design space exploration engine, which rapidly finds qualified system implementations by solving a constraint satisfaction optimization problem. Each system implementation is a combination of a number of function implementation instances and their cycle accurate execution schedules. The problem to be solved is automatically generated based on the user inputs: 1) a system model to be synthesized, 2) a library containing all the usable function implementations, 3) the performance/cost constraints, and 4) the optimization objectives. Use of constraints programming technique enabled a low cost development of design space exploration engine in addition to gaining ease of use.
Place, publisher, year, edition, pages
2014. 846-861 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8656
System Level Synthesis, Design Space Exploration, Constraint Programming
Computer and Information Science
IdentifiersURN: urn:nbn:se:kth:diva-158857ISI: 000345088200060ScopusID: 2-s2.0-84906222505ISBN: 978-3-319-10428-7ISBN: 978-3-319-10427-0OAI: oai:DiVA.org:kth-158857DiVA: diva2:781529
20th International Conference on the Principles and Practice of Constraint Programming (CP), SEP 08-12, 2014, Lyon, FRANCE
QC 201501162015-01-162015-01-122015-01-16Bibliographically approved