Справочная методология проверки - Reference Verification Methodology
В Справочная методика проверки (RVM) - это полный набор показателей и методов для выполнения Функциональная проверка сложных конструкций, например, для Интегральные схемы для конкретных приложений или другой полупроводник устройств. Это было опубликовано Synopsys в 2003 г.
RVM реализован под OpenVera.
В SystemVerilog реализация RVM известна как VMM (Руководство по методологии верификации). Он содержит небольшую библиотеку базовые классы.