基于SystemVerilog的SoC功能验证方法研究

程刚; 蔡敏

首页> 中文期刊> 《科学技术与工程》 >基于SystemVerilog的SoC功能验证方法研究

基于SystemVerilog的SoC功能验证方法研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual(VMM)验证架构,对SoC验证的各阶段进行了改进.模块验证阶段灵活应用了形式验证和动态仿真验证;集成验证阶段依据可重性的思想搭建验证环境、采用迭代开发的思想提前了集成验证启动时间;系统验证阶段采取了软硬件协同验证;同时利用随机约束技术开发验证向量,利用功能覆盖率技术评价随机约束向量对功能的覆盖.通过这些改进措施达到了提SoC功能验证效率的目的.

著录项

来源
《科学技术与工程》 |2009年第22期|6814-6818|共5页
作者
程刚; 蔡敏;
展开▼
作者单位

华南理工大学电子与信息学院,广州,510641;

华南理工大学电子与信息学院,广州,510641;

展开▼
原文格式 PDF
正文语种 chi
中图分类测试和检验;
关键词
SystemVerilog; 单元验证; 集成验证; 系统验证;

相似文献

中文文献
外文文献
专利

1. 基于SystemVerilog DPI的ARM SoC虚拟调试验证平台的设计 [J] . 虞致国 ,魏敬和 . 微电子学与计算机 . 2009,第11期
2. 基于SystemVerilog和MATLAB参考模型的WLAN基带功能验证 [J] . 王凯 ,张建国 . 微电子学与计算机 . 2009,第11期
3. 基于SoC的信号跨时钟域传输验证方法研究 [J] . 王鹏 ,尤然 ,刘旭红 . 电子技术应用 . 2017,第012期
4. 基于FPGA的SoC原型验证方法研究 [J] . 冯凌霄 ,张冰 . 电子设计工程 . 2014,第016期
5. 基于UVM实现高效可重用的SoC功能验证 [J] . 潘应进 ,龙恳 . 电子世界 . 2016,第003期
6. 基于SystemVerilog的向量存储器验证方法 [C] . Xu Peiwen ,徐沛文 ,Chen Haiyan . 2014第20届全国信息存储技术学术会议 . 2014
7. 基于SystemVerilog的YAK SoC系统级验证研究 [A] . 孔璐 . 2010

基于SystemVerilog的SoC功能验证方法研究

摘要

著录项

相似文献

相关主题

期刊订阅