FSM-based transaction-level functional coverage for interface compliance verification. - Man-Yun Su; Che-Hua Shih; Juinn-Dar Huang; Jing-Yang Jou (ASP-DAC, 2006)