Multi-level fault injection experiments based on VHDL descriptions: a case study | IEEE Conference Publication | IEEE Xplore