A semi-formal methodology for the functional validation of an industrial DSP system. - Laurent Arditi; Gaël Clavé (ISCAS, 2000)