Skip to Main Content
The set of all possible design alternatives for a system is referred to as a design-space, and design-space exploration (DSE) is the systematic exploration of the elements in a design-space. Various DSE techniques have been used for hardware/software co-design, configuration of software product lines and real-time software synthesis. Although at an abstract level DSE steps performed in these domains are similar, most of the current research is focused on domain specific frameworks which are tightly coupled with tools that evaluate point designs and use domain specific knowledge. There is a need for a generic tool that can be easily configured to model exploration problems from different domains as well on different levels of abstraction. In this paper we present Generic Design Space Exploration (GDSE) framework for domain independent DSE. This framework supports generic modeling of DSE problems from different domains using a language that allows a design-space to be encoded using domain-specific concepts and a simple constraint language that we designed. Rather than forcing the user to encode their design problem in a low-level constraint language, we advocate a higher level approach. The main contribution of this framework are: 1) it is able to support modeling of DSE in different domains 2) it supports a user-friendly constraint language that is expressive enough to specify constraints 3) the automated generation of low level constraint language code from the model alleviates the user from encoding the entire problem by hand 4) solver independence allows the user to experiment with different encodings.