简介：IEEEStd1800-2500SystemVerilog作为一种工业标准硬件设计和验证语言,具有能够把RTL设计、测试平台、断言和覆盖率全面综合在一起的优点。而基于SystemVerilog的VMM（verificationmethodologyman-ual）验证方法学能够在此基础上获得更多的重用扩展性、更全面的功能覆盖率,以及更合理的层次化验证结构。本文主要提出了一种基于VMM验证方法学的验证环境,通过验证一个多媒体数字视频芯片中视频格式转换功能模块,简称FCU（FomatConvertUnit）模块,证明了VMM验证方法学的重用性、扩展、自动检查、层次化结构的特点。

简介：随着安全算法的发展，其复杂性和算法操作数据位数也随之迅速增加。安全算法的硬件实现和加速器化已成为必然趋势。本文针对北京华虹集成电路设计有限公司的安全算法加速器IP核的验证项目，介绍了Synopsys公司VMM验证平台和AMBAVIP在其中的应用。主要阐述了选择VMM验证平台与AMBAVIP的依据；VMM环境中定向测试发生器（Generator）模块的编写、测试案例编写、安全算法的设计、仿真信息筛选方面的应用技巧。通过本验证平台，查出了加速器很多处设计错误。仿真平台验证结束后，在FPGA上对本加速器进行了大量椭圆曲线的测试。所有测试全部通过，证明了本验证平台的有效性。

简介：微软快速发展的VirtualMachineManager2008在R2中增加了许多重要的新功能。包括实时迁移、快速部署、快速存储迁移、主机兼容性检查等等。