Speeding up safety verification by fault abstraction and simulation to transaction level | IEEE Conference Publication | IEEE Xplore