A fault injection technique for VHDL behavioral-level models | IEEE Journals & Magazine | IEEE Xplore