Increase the Behavioral Fault Model Accuracy Using High-level Synthesis Information