Application of formal methods for design space exploration and refinement

The first paper tackles energy-efficient component selection and proposes a heuristic algorithm to solve this NP-hard problem. The second paper presents a refinement-based design approach for Systems-on-Chip, supported by model checking technology. The last contribution introduces a technique based on constraint solving for power estimation.