Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou. An observability measure to enhance statement coverage metric for proper evaluation of verification completeness. In Ting-Ao Tang, editor, Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005. pages 323-326, ACM Press, 2005. [doi]
Abstract is missing.