Fault-Effect Analysis on Multiple Abstraction Levels in Hardware Modeling

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, and Cristiano Novello