Eman El Mandouh, Amr G. Wassal. Automatic generation of hardware design properties from simulation traces. In 2012 IEEE International Symposium on Circuits and Systems, ISCAS 2012, Seoul, Korea (South), May 20-23, 2012. pages 2317-2320, IEEE, 2012. [doi]
Abstract is missing.