Method of high reliability system synthesis using VHDL | IEEE Conference Publication | IEEE Xplore