Scalable Design Space Exploration via Answer Set Programming

Philipp Wanko, Marc Herbstritt
2016 International Conference on Logic Programming  
The design of embedded systems is becoming continuously more complex such that the application of efficient high level design methods are crucial for competitive results regarding design time and performance. Recently, advances in Boolean constraint solvers for Answer Set Programming (ASP) allow for easy integration of background theories and more control over the solving process. The goal of this research is to leverage those advances for system level design space exploration while using
more » ... lized techniques from electronic design automation that drive new applicationoriginated ideas for multi-objective combinatorial optimization.
doi:10.4230/oasics.iclp.2016.23 dblp:conf/iclp/Wanko16 fatcat:6x6v7vyd6ncwpkfvt5f5nuixgi