作者：刘卫华 喻明艳 王进祥微处理器验证图模型功能覆盖代码覆盖率
摘要：随着微处理器复杂度的不断提高，用全功能验证方法将花费大量的计算资源和时间。提出一种基于图模型的验证方法，首先利用功能抽象的方法得出微处理器的图模型，然后由基于图模型功能覆盖的代码生成算法生成验证代码。我们将这种方法应用于一款DSP的功能验证，结果显示在很短的验证代码激励下得到了较高的代码覆盖率。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《微处理机》（CN：21-1216/TP）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《微处理机》主要刊载国内外最新的各种微处理器、微控制器、微机外围电路和专用集成电路的发展动态、设计、测试、新工艺、开发与应用，以及微机系统与微机软件的开发等方面的科技论文。
统计源期刊
人气 36847 评论 57
省级期刊
人气 36464 评论 63
北大期刊、CSCD期刊、统计源期刊
人气 25061 评论 51
北大期刊
人气 24782 评论 46
