Application of formal methods for design space exploration and refinement
D. Borrione, Ashraf Salem · Forum on specification and Design Languages · 2013
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.