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

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

doi:10.1145/1118299.1118411

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

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

電機工程學系

研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

6 引文斯高帕斯（Scopus）

摘要

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.

原文	???core.languages.en_GB???
主出版物標題	Proceedings of the ASP-DAC 2006
主出版物子標題	Asia and South Pacific Design Automation Conference 2006
發行者	Institute of Electrical and Electronics Engineers Inc.
頁面	448-453
頁數	6
ISBN（列印）	0780394518, 9780780394513
DOIs	https://doi.org/10.1145/1118299.1118411
出版狀態	已出版 - 2006
事件	ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006 - Yokohama, Japan 持續時間: 24 1月 2006 → 27 1月 2006

出版系列

名字	Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
卷	2006

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006
國家/地區	Japan
城市	Yokohama
期間	24/01/06 → 27/01/06

存取文件

10.1145/1118299.1118411

引用此

Su, M. Y., Shih, C. H., Huang, J. D., & Jou, J. Y. (2006). FSM-based transaction-level functional coverage for interface compliance verification. 於 Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006 (頁 448-453). 文章 1594726 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; 卷 2006). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/1118299.1118411

Su, Man Yun ; Shih, Che Hua ; Huang, Juinn Dar 等. / FSM-based transaction-level functional coverage for interface compliance verification. Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006. Institute of Electrical and Electronics Engineers Inc., 2006. 頁 448-453 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

@inproceedings{ebbad20cc6e84605b59670ae38242080,

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 Huang, {Juinn Dar} and Jou, {Jing Yang}",

year = "2006",

doi = "10.1145/1118299.1118411",

language = "???core.languages.en_GB???",

isbn = "0780394518",

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

publisher = "Institute of Electrical and Electronics Engineers Inc.",

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, JD & Jou, JY 2006, FSM-based transaction-level functional coverage for interface compliance verification. 於 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, 卷 2006, Institute of Electrical and Electronics Engineers Inc., 頁 448-453, ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006, Yokohama, Japan, 24/01/06. https://doi.org/10.1145/1118299.1118411

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

研究成果: 書貢獻/報告類型 › 會議論文篇章 › 同行評審

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

Y1 - 2006

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.1145/1118299.1118411

DO - 10.1145/1118299.1118411

M3 - 會議論文篇章

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

PB - Institute of Electrical and Electronics Engineers Inc.

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

Y2 - 24 January 2006 through 27 January 2006

ER -

Su MY, Shih CH, Huang JD, Jou JY. FSM-based transaction-level functional coverage for interface compliance verification. 於 Proceedings of the ASP-DAC 2006: Asia and South Pacific Design Automation Conference 2006. Institute of Electrical and Electronics Engineers Inc. 2006. p. 448-453. 1594726. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC). doi: 10.1145/1118299.1118411

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

摘要

出版系列

???event.eventtypes.event.conference???

存取文件

指紋

引用此