Extending universal verification methodology with fault injection capabilities. - Douglas Lohmann; Fabrizio Maziero; Elço João dos Santos Jr; Djones Lettnin (LASCAS, 2018)