Formal compliance verification of interface protocols

Ya Ching Yang, Juinn Dar Huang, Chia Chih Yen, Che Hua Shih, Jing Yang Jou

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

7 引文 斯高帕斯(Scopus)

摘要

Verifying whether a building block conforms to certain interface protocol is one of the important steps while constructing an SoC. However, most existing methods have their own limitations. Simulation-based methods have the false positive problem while formal property checking methods may suffer from memory explosion and excessive runtime. In this paper, we propose a novel branch-and-bound algorithm for interface protocol compliance verification. The properties of the interface protocol are specified as a specification FSM, and the interface logic is formally verified at the higher FSM level. Using the FSM for property specification is relatively systematic than using other proprietary property languages, which greatly reduces the possibility of incomplete property identification. And it is shown theoretically and experimentally that the proposed algorithm can finish in reasonable time complexity.

原文???core.languages.en_GB???
主出版物標題2005 IEEE VLSI-TSA International Symposium on VLSI Design, Automation and Test,(VLSI-TSA-DAT)
頁面12-15
頁數4
DOIs
出版狀態已出版 - 2005
事件2005 IEEE VLSI-TSA International Symposium on VLSI Design, Automation and Test,(VLSI-TSA-DAT) - Hsinchu, Taiwan
持續時間: 27 4月 200529 4月 2005

出版系列

名字2005 IEEE VLSI-TSA International Symposium on VLSI Design, Automation and Test,(VLSI-TSA-DAT)
2005

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

???event.eventtypes.event.conference???2005 IEEE VLSI-TSA International Symposium on VLSI Design, Automation and Test,(VLSI-TSA-DAT)
國家/地區Taiwan
城市Hsinchu
期間27/04/0529/04/05

指紋

深入研究「Formal compliance verification of interface protocols」主題。共同形成了獨特的指紋。

引用此