Fault-Effect Analysis on Multiple Abstraction Levels in Hardware Modeling

Author(s):
B-A. Tabacaru, M. Chaari, W. Ecker, T. Kruse, and C. Novello