-
题名基于VMM的ALU验证
被引量：1
- 1
-
-
作者
苏雪
潘明
翟江涛
-
机构
桂林电子科技大学电子工程及自动化学院
-
出处
《现代电子技术》
北大核心
2015年第7期144-147,共4页
-
基金
国家自然科学基金(51465011)
-
文摘
基于VMM方法学设计和实现了一个随机验证环境,验证一个64位ALU。该验证环境具备一套功能完备的随机测试程序发生器,可以生成覆盖率指导的有约束的定点、浮点指令序列,调用一个由C语言实现的参考模型进行运算结果自检,并采用覆盖率收敛技术实现覆盖率快速收敛。实践结果表明,设计的随机验证环境,能够高效验证ALU的各项逻辑功能,减少测试时间,且随机测试程序生成模块可以简单移植应用于处理器其他模块的功能验证。
-
关键词
SYSTEMVERILOG
VMM
验证
算数逻辑单元
-
Keywords
SystemVerilog
VMM
verification
ALU
-
分类号
TN407.34
[电子电信—微电子学与固体电子学]
-
-
题名基于FPGA的简易计算机设计
- 2
-
-
作者
王承伟
王明顺
-
机构
东北大学外国语学院
东北大学信息科学与工程学院
-
出处
《黄金学报》
2001年第4期301-305,共5页
-
文摘
讨论了基于EDA技术的FPGA设计方法,分析了用FPGA实现简易计算机的设计思路,提出了一种设计方法,并用VHDL语言进行了描述,通过仿真运行结果分析,证明了设计的正确性.本设计具有良好可扩充性。
-
关键词
电子设计自动化
现场可编程门阵列
VHDL
算数逻辑单元
计算机
设计
-
Keywords
Electronic Design Automation, Field Programmable Gate Array, Very-High-Speed Integrated Circuit Hardware Description Language, Arithmetic Logic Unit.
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
