基于VMM的ALU验证

• 作者: 潘明 翟江涛 苏雪
• 来源期刊: 现代电子技术
• 关键词: SystemVerilog VMM 验证 算数逻辑单元
• 年，卷（期）: 2015,（7）
• 所属期刊栏目: 电子技术应用
• 页码范围: 144-147
• 页数: 4页
• 分类号: TN407-34
• 语种: 中文

摘要

基于VMM方法学设计和实现了一个随机验证环境，验证一个64位ALU。该验证环境具备一套功能完备的随机测试程序发生器，可以生成覆盖率指导的有约束的定点、浮点指令序列，调用一个由C语言实现的参考模型进行运算结果自检，并采用覆盖率收敛技术实现覆盖率快速收敛。实践结果表明，设计的随机验证环境，能够高效验证ALU的各项逻辑功能，减少测试时间，且随机测试程序生成模块可以简单移植应用于处理器其他模块的功能验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘明	桂林电子科技大学电子工程及自动化学院	44	285	8.0	13.0
2	苏雪	桂林电子科技大学电子工程及自动化学院	5	17	3.0	4.0
3	翟江涛	桂林电子科技大学电子工程及自动化学院	4	10	2.0	3.0