Injection of functional faults into VHDL descriptions of random-access memory devices. - Alexander A. Ivaniuk; A. V. Stepanov (Autom. Control. Comput. Sci., 2008)