DocumentCode
1918449
Title
Application of formal methods for design space exploration and refinement
Author
Borrione, Dominique ; Salem, Ashraf
Author_Institution
TlMA Laboratory
fYear
2013
fDate
24-26 Sept. 2013
Firstpage
1
Lastpage
1
Abstract
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.
fLanguage
English
Publisher
ieee
Conference_Titel
Specification & Design Languages (FDL), 2013 Forum on
Conference_Location
Paris, France
ISSN
1636-9874
Type
conf
Filename
6646622
Link To Document