Increase the Behavioral Fault Model Accuracy Using High-Level Synthesis Information. - Marco Brera; Fabrizio Ferrandi; Donatella Sciuto; Franco Fummi (DFT, 1999)