Login
- Titel:
{Speeding up Safety Verification by Fault Abstraction and Simulation to Transaction Level}
- Autor(en):
- Tabacaru, Bogdan Andrei; Chaari, Moomen; Ecker, Wolfgang; Kruse, Thomas; Novello, Cristiano
- Zeitschriftentitel:
- IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
- Jahr:
- 2016
- Seitenangaben Beitrag:
- 1--6
- Volltext / DOI:
- doi:10.1109/VLSI-SoC.2016.7753547
BibTeX