[IEEE 2013 14th Latin American Test Workshop - LATW - Cordoba, Argentina (2013.04.3-2013.04.5)] 2013 14th Latin American Test Workshop - LATW - Automatic property generation for formal verification applied to HDL-based design of an on-board computer for space applications
Silva, Wesley, Bezerra, Eduardo, Winterholer, Markus, Lettnin, DjonesYear:
2013
Language:
english
DOI:
10.1109/latw.2013.6562663
File:
PDF, 1.63 MB
english, 2013