David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan. A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 68-73, IEEE, 2014. [doi]
Abstract is missing.