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

• 作者: 李忠孝 申敏
• 来源期刊: 计算机测量与控制
• 关键词: 贝叶斯网络 功能覆盖率 覆盖率驱动的测试生成 SystemVerilog 功能验证
• 年，卷（期）: 2010,（10）
• 页码范围: 2337-2339,2343
• 分类号: TN407
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	申敏	重庆邮电大学通信与信息工程学院	108	359	9.0	12.0
5	李忠孝	重庆邮电大学通信与信息工程学院	1	1	1.0	1.0