Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation

Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017

Volumn , Issue , 2017, Pages 306-309

  Neubauer, Kai ^a   Wanko, Philipp ^b   Schaub, Torsten ^b   Haubelt, Christian ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; INTEGER PROGRAMMING; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING; INFEASIBLE SOLUTIONS; MODULO THEORIES; REALISTIC SYSTEMS; SOPHISTICATED SYSTEM; SYMBOLIC SYSTEMS; SYSTEM LEVEL DESIGN; SYSTEM SYNTHESIS;

EMBEDDED SYSTEMS;

EID: 85020175823     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/DATE.2017.7927005     Document Type: Conference Paper

References (13)

1. A. Gerstlauer et al. Electronic System-Level Synthesis Methodologies. IEEE TCAD, 28(10):1517-1530, 2009.
2. C. Haubelt et al. SAT-based techniques in system synthesis. In Proc. of DATE, pages 1168-1169, 2003.
3. M. Lukasiewycz et al. Combined system synthesis and communication architecture exploration for MPSoCs. In Proc. of DATE, pages 472-477, 2009.
4. M. Lukasiewycz et al. Modular scheduling of distributed heterogeneous time-triggered automotive systems. In Proc. of ASP-DAC, pages 665-670, 2012.
5. N. Satish et al. A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors. In Proc. of DATE, pages 1-6, 2007.
6. F. Reimann et al. Improving platform-based system synthesis by satisfiability modulo theories solving. In Proc. of CODES/ISSS, pages 135-144, 2010.
7. B. Andres et al. Improving coordinated smt-based system synthesis by utilizing domain-specific heuristics. In Proc. of LPNMR, pages 55-68, 2015.
8. A. Biewer et al. A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving. In Proc. of DATE, pages 357-362, 2015.
9. W. Liu et al. Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems. IEEE TPDS, 22(8):1382-1389, 2011.
10. F. Reimann et al. Symbolic system synthesis in the presence of stringent real-time constraints. In Proc. of DAC, pages 393-398, 2011.
11. S. Roberto. Lazy satisfiability modulo theories. Journal on Satisfiability, Boolean Modeling and Computation, 3:141-224, 2007.
12. M. Gebser et al. Theory solving made easy with clingo 5. In Technical Communications of ICLP, 2016. To appear.
13. B. Andres et al. Symbolic system synthesis using answer set programming. In Proc. of LPNMR, pages 79-91, 2013.