1 مقاله
روششناسی باز تأیید (OVM) یک چارچوب مستند همراه با کتابخانه بلوکهای ساختاری برای تأیید طراحیهای تراشههای نیمههادی است. نسخه اولیه OVM 1.0 در ژانویه 2008 منتشر شد و بهروزرسانیهای منظم، قابلیتهای آن را گسترش دادهاند. آخرین نسخه، OVM 2.1.2، در ژانویه 2011 عرضه شد.