基于SV语言的802.11 MAC芯片逻辑验证方案

• 作者: 周卓
• 来源期刊: 现代电子技术
• 关键词: System Verilog语言 逻辑验证环境 功能覆盖 VMM
• 年，卷（期）: 2009,（18）
• 所属期刊栏目: 设计验证与测试
• 页码范围: 13-16
• 页数: 4页
• 分类号: TN43
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2009.18.005

摘要

针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案.该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降低了传统验证过程中对验证者个人经验的依赖,同时为验证的完备性提供了有效的度量手段.该方案使用SysytemVerilog语言实现,根据VMM验证思想,搭建了一个层次化的逻辑验证环境.与传统的验证环境相比,该方案中的验证环境在验证自动化、组件重用等方面有突出的改进.实践证明,新的验证方案能够充分保证验证的完备性,同时能有效地提高验证效率,缩短验证周期.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周卓		1	4	1.0	1.0