Accueil > Recherche > Étudiants/Post-docs > Liliana Andrade

Liliana Andrade

Power and temperature model in the presence of loose information, state-space exploration

jeudi 8 février 2018

Années: 2016, 2017 (Post-doc)
Sujet: Power and temperature model in the presence of loose information, state-space exploration
Résumé:

Previous work showed how to co-simulate a functional model with a power and temperature solver. However, the previous approaches assumed known values for each parameter, which is rarely the case at a high level of abstraction. This work targets models where parameters are only estimated with an interval (i.e. a lower and an upper bound). We first proposed a method to simulate exhaustively the state-space in the absence of feedback loop from the temperature model and the functional one, and explored possibilities to let the temperature model return concrete values to the functional model, and still provide a better state-space coverage than individual simulations.


2015

Conference papers

ref_biblio
Liliana Andrade, Cédric Ben Aoun, Benoit Vernay, Torsten Maehne, François Pêcheux, et al.. Understanding the Heterogeneous Hardware: Do not forget the interconnection!. 2nd Workshop Design Automation for Understanding Hardware Designs (DUHDe), Mar 2015, Grenoble, France. ⟨hal-02535801⟩
Accès au bibtex
BibTex
Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License