@article{BobdaYongaGebseretal.2018,
  author    = {Bobda, Christophe and Yonga, Franck and Gebser, Martin and Ishebabi, Harold and Schaub, Torsten H.},
  title     = {High-level synthesis of on-chip multiprocessor architectures based on answer set programming},
  series = {Journal of Parallel and Distributed Computing},
  volume    = {117},
  journal   = {Journal of Parallel and Distributed Computing},
  publisher = {Elsevier},
  address   = {San Diego},
  issn      = {0743-7315},
  doi       = {10.1016/j.jpdc.2018.02.010},
  pages     = {161 -- 179},
  year      = {2018},
  abstract  = {We present a system-level synthesis approach for heterogeneous multi-processor on chip, based on Answer Set Programming(ASP). Starting with a high-level description of an application, its timing constraints and the physical constraints of the target device, our goal is to produce the optimal computing infrastructure made of heterogeneous processors, peripherals, memories and communication components. Optimization aims at maximizing speed, while minimizing chip area. Also, a scheduler must be produced that fulfills the real-time requirements of the application. Even though our approach will work for application specific integrated circuits, we have chosen FPGA as target device in this work because of their reconfiguration capabilities which makes it possible to explore several design alternatives. This paper addresses the bottleneck of problem representation size by providing a direct and compact ASP encoding for automatic synthesis that is semantically equivalent to previously established ILP and ASP models. We describe a use-case in which designers specify their applications in C/C++ from which optimum systems can be derived. We demonstrate the superiority of our approach toward existing heuristics and exact methods with synthesis results on a set of realistic case studies. (C) 2018 Elsevier Inc. All rights reserved.},
  language  = {en}
}
@article{AndersMefenzaBobdaetal.2016,
  author    = {Anders, Jakob and Mefenza, Michael and Bobda, Christophe and Yonga, Franck and Aklah, Zeyad and Gunn, Kevin},
  title     = {A hardware/software prototyping system for driving assistance investigations},
  series = {Journal of real-time image processing},
  volume    = {11},
  journal   = {Journal of real-time image processing},
  publisher = {Springer},
  address   = {Heidelberg},
  issn      = {1861-8200},
  doi       = {10.1007/s11554-013-0351-4},
  pages     = {559 -- 569},
  year      = {2016},
  abstract  = {A holistic design and verification environment to investigate driving assistance systems is presented, with an emphasis on system-on-chip architectures for video applications. Starting with an executable specification of a driving assistance application, subsequent transformations are performed across different levels of abstraction until the final implementation is achieved. The hardware/software partitioning is facilitated through the integration of OpenCV and SystemC in the same design environment, as well as OpenCV and Linux in the run-time system. We built a rapid prototyping, FPGA-based camera system, which allows designs to be explored and evaluated in realistic conditions. Using lane departure and the corresponding performance speedup, we show that our platform reduces the design time, while improving the verification efforts.},
  language  = {en}
}
@article{IshebabiBobda2009,
  author    = {Ishebabi, Harold and Bobda, Christophe},
  title     = {Automated architecture synthesis for parallel programs on FPGA multiprocessor systems},
  issn      = {0141-9331},
  doi       = {10.1016/j.micpro.2008.08.009},
  year      = {2009},
  abstract  = {This paper presents a concept for automated architecture synthesis for adaptive multiprocessors on chip, in particular for Field-Programmable Gate-Array (FPGA) devices. Given a parallel program, the intent is to simultaneously allocate processor resources and the corresponding communication network, and at the same time, to map the parallel application to get an optimum application-specific architecture. This approach builds up on a previously proposed design platform that automates system integration and FPGA synthesis for such architectures. As a result, the overall concept offers an automated design approach from application mapping to system and FPGA configuration. The automated synthesis is based on combinatorial optimization. Automation is possible because a solvable Integer Linear Programming (ILP) model that captures all necessary design trade-off parameters of such systems has been found. Experimental results to study the feasibility of the automated synthesis indicate that problems with sizes that can be encountered in the embedded domain can be readily solved. Results obtained underscore the need for an automated synthesis for design space exploration.},
  language  = {en}
}
@article{Bobda2009,
  author    = {Bobda, Christophe},
  title     = {Special issue on ReCoSoC 2007 : editorial},
  issn      = {0141-9331},
  doi       = {10.1016/j.micpro.2009.01.001},
  year      = {2009},
  language  = {en}
}