Increase the behavioral fault model accuracy using high-level synthesis information