Login
- Author(s):
- Tabacaru, Bogdan Andrei; Chaari, Moomen; Ecker, Wolfgang; Kruse, Thomas; Novello, Cristiano
- Title:
- {Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation}
- Journal title:
- Digital System Design (DSD), 2016 Euromicro Conference on
- Year:
- 2016
- Pages contribution:
- 1--8
- Fulltext / DOI:
- doi:10.1109/DSD.2016.14
BibTeX