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