基于受限随机矢量生成的功能验证

• 作者: 孟维佳 杨军
• 来源期刊: 电子器件
• 学科: 工学
• 关键词: 受限随机矢量 功能验证 specman
• 年，卷（期）: 2005,（1）
• 页码范围: 200-203
• 页数: 4页
• 分类号: TN402
• 字数: 3633字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-9490.2005.01.051

摘要

在SOC设计中,传统功能验证方法面临诸多挑战,主要体现在:①复杂验证场景难以构建.②边缘情况难以覆盖.基于受限随机矢量生成的功能验证方法在满足约束条件的前提下,随机产生验证矢量,有效解决了传统验证方法面临的挑战.本文以一款SOC的存储子系统控制模块为例,研究了在Specman验证平台上,使用E语言构建验证环境的基于受限随机矢量生成的功能验证在SOC设计中的应用.验证结果表明,复杂验证场景和边缘情况的覆盖率均达到100%.经过多目标圆片(MPW)流片试验和测试,采用该方法验证的模块达到设计要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨军	东南大学国家专用集成电路系统工程技术研究中心	210	2336	24.0	38.0
2	孟维佳	东南大学国家专用集成电路系统工程技术研究中心	2	14	2.0	2.0