Dependability analysis using a fault injection tool based on synthesizability of HDL models | IEEE Conference Publication | IEEE Xplore