贝叶斯网络在SoC事务级验证平台中的应用

作     者：李忠孝 申敏 Li Zhongxiao;Shen Min

作者机构：重庆邮电大学通信与信息工程学院重庆400065 重邮信科集团股份有限公司重庆400065 

基　　金：国家"863"计划(2004AA001390 2004AA123150) 

出 版 物：《计算机测量与控制》 (Computer Measurement &Control)

年 卷 期：2010年第18卷第10期

页      码：2337-2339,2343页

摘      要：在越来越复杂的SoC芯片设计过程中,功能验证已成为芯片设计周期中最主要的瓶颈;采用人工智能算法在功能覆盖率指导下自动生成随机激励的方法已成为该领域的研究热点;针对贝叶斯网络强大的不确定性概率推理和数据分析能力以及事务级验证平台的特点,采用贝叶斯网络来自动分析验证平台中的事务配置参数和功能覆盖率统计数据之间的不确定关系,提出了一种改进的功能覆盖率驱动验证平台;与传统的约束随机验证平台相比,能快速达到覆盖率目标,缩短验证周期。

主 题 词：贝叶斯网络 功能覆盖率 覆盖率驱动的测试生成 System Verilog 功能验证 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

D　O　I：10.16526/j.cnki.11-4762/tp.2010.10.018

馆 藏 号：203964377...