Change search
ReferencesLink to record
Permanent link

Direct link
Case Study: Constraint Programming in a System Level Synthesis Framework
KTH, School of Information and Communication Technology (ICT), Electronic Systems.ORCID iD: 0000-0002-4157-4487
KTH, School of Information and Communication Technology (ICT), Electronic Systems.ORCID iD: 0000-0003-0565-9376
2014 (English)In: PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 846-861 p.Conference paper (Refereed)
Abstract [en]

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
Keyword [en]
System Level Synthesis, Design Space Exploration, Constraint Programming
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-158857ISI: 000345088200060ScopusID: 2-s2.0-84906222505ISBN: 978-3-319-10428-7ISBN: 978-3-319-10427-0OAI: diva2:781529
20th International Conference on the Principles and Practice of Constraint Programming (CP), SEP 08-12, 2014, Lyon, FRANCE

QC 20150116

Available from: 2015-01-16 Created: 2015-01-12 Last updated: 2015-01-16Bibliographically approved

Open Access in DiVA

No full text


Search in DiVA

By author/editor
Li, ShuoHemani, Ahmed
By organisation
Electronic Systems
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 11 hits
ReferencesLink to record
Permanent link

Direct link