基于VMM的寄存器抽象层验证

本文介绍了Synopsys公司推出的基于VMM的寄存器抽象层验证技术和方案，简称RAL（Register Abstraction Layer）。该技术是Synopsys针对芯片验证中如何简便、高效地完成寄存器／存储器相关的验证任务这一问题而开发的解决方案。该方案构建在Synopsys的VMM验证方法基础上，使用了VMM中的通用技术，可以在VMM的验证环境中非常方便地集成和重用。