Login
- Title:
{Speeding up Safety Verification by Fault Abstraction and Simulation to Transaction Level}
- Author(s):
- Tabacaru, Bogdan Andrei; Chaari, Moomen; Ecker, Wolfgang; Kruse, Thomas; Novello, Cristiano
- Journal title:
- IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
- Year:
- 2016
- Pages contribution:
- 1--6
- Fulltext / DOI:
- doi:10.1109/VLSI-SoC.2016.7753547
BibTeX