Ilya Wagner, Valeria Bertacco, Todd M. Austin. Depth-driven verification of simultaneous interfaces. In Fumiyasu Hirose, editor, Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006. pages 442-447, IEEE, 2006. [doi]
Abstract is missing.