FSM-based transaction-level functional coverage for interface compliance verification.

Man-Yun Su, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou

Browse the full ASPDAC paper archive.