Brian Keng, Andreas G. Veneris. Managing complexity in design debugging with sequential abstraction and refinement. In Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, Yokohama, Japan, January 25-27, 2011. pages 479-484, IEEE, 2011. [doi]
Abstract is missing.