DesertFD: a finite-domain constraint based tool for design space exploration As the complexity of computer based systems increases, designers are faced with the task of balancing a variety of design choices and parameters against conflicting optimization criteria. Design space exploration seeks to automate or partially automate the process of evaluating tradeoff decisions at design time. DesertFD is a domain-independent design space exploration tool which facilitates the representation and pruning of a design space using constraint satisfaction. DesertFD offers a formal tree-based view of a family of systems related through common structure, together with a flexible scripting language for modeling mathematical expressions governing property composition. User-specified constraints applied to the design space representation result in a pruning of the space. We discuss the reduction of the design space, property composition formulas and constraints into a constraint satisfaction problem using finite domain constraints. We examine two example design space exploration problems to evaluate DesertFD: the generation of a high level custom computer architecture for supporting H.264-based motion estimation, and the reliability-driven mapping of tasks to distributed embedded control units in a steer-by-wire automotive application.
Keywords for this software
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Behjati, Razieh; Nejati, Shiva: Efficient architecture-level configuration of large-scale embedded software systems (2015) ioport
- Eames, Brandon K.; Neema, Sandeep K.; Saraswat, Rohit: DesertFD: a finite-domain constraint based tool for design space exploration (2010) ioport