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

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

doi:10.1109/ASPDAC.2006.1594726

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

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

Abstract

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 signal 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.

Original language	English
Title of host publication	Proceedings of the ASP-DAC 2006
Subtitle of host publication	Asia and South Pacific Design Automation Conference 2006
Pages	448-453
Number of pages	6
DOIs	https://doi.org/10.1109/ASPDAC.2006.1594726
State	Published - 19 Sep 2006
Event	ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006 - Yokohama, Japan Duration: 24 Jan 2006 → 27 Jan 2006

Publication series

Name	Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Volume	2006

Conference

Conference	ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006
Country/Territory	Japan
City	Yokohama
Period	24/01/06 → 27/01/06

Access to Document

10.1109/ASPDAC.2006.1594726

Cite this

Su, M. Y., Shih, C. H., Huang, J.-D., & Jou, J. Y. (2006). FSM-based transaction-level functional coverage for interface compliance verification. In Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006 (pp. 448-453). Article 1594726 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; Vol. 2006). https://doi.org/10.1109/ASPDAC.2006.1594726

@inproceedings{ff11879fbc5b4011b563ff1274e8c41e,

title = "FSM-based transaction-level functional coverage for interface compliance verification",

abstract = "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 signal 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.",

author = "Su, {Man Yun} and Shih, {Che Hua} and Juinn-Dar Huang and Jou, {Jing Yang}",

year = "2006",

month = sep,

day = "19",

doi = "10.1109/ASPDAC.2006.1594726",

language = "English",

isbn = "0780394518",

series = "Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC",

pages = "448--453",

booktitle = "Proceedings of the ASP-DAC 2006",

note = "ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006 ; Conference date: 24-01-2006 Through 27-01-2006",

}

Su, MY, Shih, CH, Huang, J-D & Jou, JY 2006, FSM-based transaction-level functional coverage for interface compliance verification. in Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006., 1594726, Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, vol. 2006, pp. 448-453, ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006, Yokohama, Japan, 24/01/06. https://doi.org/10.1109/ASPDAC.2006.1594726

FSM-based transaction-level functional coverage for interface compliance verification. / Su, Man Yun; Shih, Che Hua; Huang, Juinn-Dar et al.
Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006. 2006. p. 448-453 1594726 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; Vol. 2006).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Su, Man Yun

AU - Shih, Che Hua

AU - Huang, Juinn-Dar

AU - Jou, Jing Yang

PY - 2006/9/19

Y1 - 2006/9/19

N2 - 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 signal 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.

AB - 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 signal 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.

UR - http://www.scopus.com/inward/record.url?scp=33748634610&partnerID=8YFLogxK

U2 - 10.1109/ASPDAC.2006.1594726

DO - 10.1109/ASPDAC.2006.1594726

M3 - Conference contribution

AN - SCOPUS:33748634610

SN - 0780394518

SN - 9780780394513

T3 - Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

SP - 448

EP - 453

BT - Proceedings of the ASP-DAC 2006

T2 - ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006

Y2 - 24 January 2006 through 27 January 2006

ER -

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

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this