基于VMM的ALU验证.pdfVIP

2015年 4月1日 现代电子技术 Apt．2015 第38卷第7期 ModernElectronicsTechnique V01．38 No．7 基于VMM 的ALU验证 苏 雪，潘 明，翟江涛 (桂林电子科技大学 电子工程及 自动化学院，广西 桂林 541004) 摘 要 ：基于VMM方法学设计和实现 了一个随机验证环境 ，验证一个64位ALU。该验证环境具备一套功能完备的随 机测试程序发生器，可以生成覆盖率指导的有约束的定点、浮点指令序列，调用一个 由c语言实现的参考模型进行运算结果 自检，并采用覆盖率收敛技术实现覆盖率快速收敛。实践结果表明，设计的随机验证环境 ，能够高效验证ALU的各项逻辑功 能，减少测试时间，且随机测试程序生成模块可以简单移植应用于处理器其他模块的功能验证。 关键词：SystemVerilog；VMM；验证；算数逻辑单元 中图分类号：TN407．34 文献标识码：A 文章编号：1004—373X(2015)07—0144．04 ALU verification basedonVM M SUXue，PANMing，ZHAIJiang-tao (DepartmentofElectronicEngineeringandAutomation，GuilinUniversityofElectronicTechnology，Guilin541004，China) Abstract：Arandomtest-benchwasdesignedandcompletedonthebasisofVMM toveri~a64一bitALU．Thetest—bench hasacoveragedirectedrandom testprogram generatorandcangeneratedifferentkindsofflexedpointandfloatingpointinstruc— tionarrays，which areferencemodelrealizedbyC languagecanbecalledtocheckouttheoperationresultsautomatically，and canimplementtherapidconvergenceofcoverageratebycoverageconvergencetechnology．Thepracticeresultsshow thatthetest - benchcanverifyeachALU logicfunctioneffectively，shortentheverificationtime，andtestthemodulerandomlygeneratedby program ，andcanbeusedinotherprocessormodulefunctionverificationbysimpletransplantation． Keywords：SystemVerilog；VMM ；verification；ALU 随着高性能处理器设计 日趋复杂，如何对处理器各 支持 123条定点、浮点运算指令。ALU接收Decode(译 设计模块进行有效而充分的验证，是芯片设计成功的关 码)模块的译码信息(包括指令类型、寄存器号、线程号 键因素之一 。 目前芯片的研发过程 中，功能验证会消 等控制信息)，从下级模块RegisterFile(寄存器堆)相应 耗70％以上的资源 ，验证的 自动化程度 、验证语言的使 位置取出操作数进行运算 。其控制