L. Arditi, G. Clave. A semi-formal methodology for the functional validation of an industrial DSP system. In IEEE International Symposium on Circuits and Systems, ISCAS 2000, Emerging Technologies for the 21st Century, Geneva, Switzerland, 28-31 May 2000, Proceedings. pages 205-208, IEEE, 2000. [doi]
Abstract is missing.