Fault-Effect Analysis on Multiple Abstraction Levels in Hardware Modeling Author(s): B-A. Tabacaru, M. Chaari, W. Ecker, T. Kruse, and C. Novello Download