• DocumentCode
    188172
  • Title

    Accurate and Efficient Three Level Design Space Exploration Based on Constraints Satisfaction Optimization Problem Solver

  • Author

    Shuo Li ; Hemani, Ahmed

  • Author_Institution
    Dept. of Electron. Syst., R. Inst. of Technol. (KTH), Stockholm, Sweden
  • fYear
    2014
  • fDate
    11-13 May 2014
  • Firstpage
    174
  • Lastpage
    174
  • Abstract
    In this paper, we propose an efficient and effective there level Design Space Exploration (DSE) method for mapping a system consisting of a number of DSP functions onto an RTL or lower level model using constraint programming methodology. The design space has three dimensions: a) function execution schedule (when the functions should execute), b) function implementation assignment (how the execution of functions are assigned to physical kernels) and c) implementation architecture (how many arithmetic units are deployed in each kernel). The DSE has been formulated as a Constraints Satisfaction Optimization Problem (CSOP) and solved by the constraint programming solver in Google´s OR-Tools.
  • Keywords
    constraint handling; constraint satisfaction problems; digital signal processing chips; integrated circuit design; optimisation; CSOP; DSE; DSP functions; Google OR-Tools; RTL; constraint programming methodology; constraint programming solver; constraints satisfaction optimization problem solver; function execution schedule; function implementation assignment; implementation architecture; three level design space exploration; Kernel; Linear programming; Optimization; Parallel processing; Programming; Schedules; Space exploration; constraint programming; design space exploration; system level synthesis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Field-Programmable Custom Computing Machines (FCCM), 2014 IEEE 22nd Annual International Symposium on
  • Conference_Location
    Boston, MA
  • Print_ISBN
    978-1-4799-5110-9
  • Type

    conf

  • DOI
    10.1109/FCCM.2014.56
  • Filename
    6861618