Jingyao Nie, Shuqin Geng, Xiaohong Peng, Wenhua Cao, Pengkun Li, Xuefeng Li
{"title":"A Location Analysis for Dynamic Verification","authors":"Jingyao Nie, Shuqin Geng, Xiaohong Peng, Wenhua Cao, Pengkun Li, Xuefeng Li","doi":"10.1109/cvidliccea56201.2022.9824849","DOIUrl":null,"url":null,"abstract":"Dynamic verification is used extensively in making sure the logical correctness of design. Coverage is often used to measure the progress of the current verification. After the coverage criteria has been met, there may still be potential bugs that have not been detected. This paper proposes a method to help engineers analyze where the potential bug is most likely to occur. We construct a cover framework and propose an algorithm to calculate the probability. Experimental results based on Monte Carlo simulation are agreed with our algorithm.","PeriodicalId":23649,"journal":{"name":"Vision","volume":"116 1","pages":"524-527"},"PeriodicalIF":0.0000,"publicationDate":"2022-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Vision","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/cvidliccea56201.2022.9824849","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Dynamic verification is used extensively in making sure the logical correctness of design. Coverage is often used to measure the progress of the current verification. After the coverage criteria has been met, there may still be potential bugs that have not been detected. This paper proposes a method to help engineers analyze where the potential bug is most likely to occur. We construct a cover framework and propose an algorithm to calculate the probability. Experimental results based on Monte Carlo simulation are agreed with our algorithm.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
