An observability measure to enhance statement coverage metric for proper evaluation of verification completeness.

Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou

Browse the full ASPDAC paper archive.