Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
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
Identifiers
URN: urn:nbn:se:kth:diva-158857ISI: 000345088200060Scopus ID: 2-s2.0-84906222505ISBN: 978-3-319-10428-7 (print)ISBN: 978-3-319-10427-0 (print)OAI: oai:DiVA.org:kth-158857DiVA: diva2:781529
Conference
20th International Conference on the Principles and Practice of Constraint Programming (CP), SEP 08-12, 2014, Lyon, FRANCE
Note

QC 20150116

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

Open Access in DiVA

No full text

Scopus

Authority records BETA

Li, ShuoHemani, Ahmed

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 19 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf