文章讨论了基于OpenVera的功能验证平台的搭建方法,重点研究了如何挖掘OpenVera所支持的各种新技术和新功能,并与传统验证方法所搭......

RVM（Reference Verification Method）SYNOPSYS基于OpenVera提出的相关验证技术。它的提出使得OpenVera这门验证语言的优越性更好地体......