Andreas G. Veneris, Brian Keng, Sean Safarpour. From RTL to silicon: The case for automated debug. In Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, Yokohama, Japan, January 25-27, 2011. pages 306-310, IEEE, 2011. [doi]
Abstract is missing.