Increase the behavioral fault model accuracy using high-level synthesis information | IEEE Conference Publication | IEEE Xplore