{Fault-Effect Analysis on Multiple Abstraction Levels in Hardware Modeling}