SOC设计验证方法的研究

• 作者: 刘永锋 罗胜钦
• 来源期刊: 电子与电脑
• 学科: 工学
• 关键词: 系统芯片 验证方法 SystemVerilog 断言
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 科技论文
• 页码范围: 91-93
• 页数: 3页
• 分类号: TP3
• 字数: 3258字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1077.2007.12.061

摘要

随着设计规模的增大和设计复杂度的提高,片上系统(SOC)的验证问题已经成为缩短设计周期的瓶颈[1].本文综述SOC的功能验证方法,分析当了当前验证方法不能适应SOC的验证要求,同时指出几种验证方法的优点和缺点.提出使用SystemVerilog语言把定理证明、模拟等验证方法有机的结合起来的验证方法-基于断言的验证,这将是解决SOC验证问题的有希望的途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗胜钦	同济大学电子科学与技术系	28	163	6.0	11.0
2	刘永锋	同济大学电子科学与技术系	1	11	1.0	1.0