Enhanced Design Debugging with Assistance from Guidance-based Model Checking

Vineesh V S,Binod Kumar,Rushikesh Shinde,Neelam Sharma,Masahiro Fujita,Virendra Singh

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems（2021）

引用 3|浏览17

暂无评分

摘要

Design debugging is one of the most important steps in the modern integrated circuits (ICs) development cycle. Simulation-based verification is never sufficient for ensuring design correctness because of its incomplete nature. Formal techniques such as model checking promise to solve this issue through a complete state-space traversal approach. However, because of increasing design complexity, suc...

查看译文

关键词

Model checking,Computer bugs,Regression tree analysis,Debugging,Bayes methods,Computational modeling

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要