Automatic modifications of high level VHDL descriptions for fault detection or tolerance | IEEE Conference Publication | IEEE Xplore