Michael Hermann Wolfgang Hoffmann Fault Modeling and Test Generation for FPGAs. 1-10 1994 conf/fpl/1994 FPL db/conf/fpl/fpl1994.html#HermannH94