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

Man-Yun Su, Che-Hua Shih, Juinn-Dar Huang, Jing-Yang Jou
Asia and South Pacific Conference on Design Automation, 2006.  
Interface compliance verification plays a very important role in modern SoC designs. In order to perform a quantitative analysis of simulation completeness, adequate coverage metrics are mandatory. In this paper, we propose a finite state machine (FSM) based transaction-level functional coverage methodology for interface compliance verification. A language, State-Oriented Language (SOL), is developed to specify functional transactions mainly at the higher FSM level instead of lower logic or
more » ... al level. By utilizing SOL, it is simple and rigorous to specify interesting transactions from the specification FSM of the target interface protocol. Experimental results show that the proposed methodology can effectively improve the verification quality as well as increase the efficiency of regression verification.
doi:10.1109/aspdac.2006.1594726 dblp:conf/aspdac/SuSHJ06 fatcat:mkts35b2pvfjhdgs3dhqdrbi4a