OpenVera fue un lenguaje de verificación de hardware desarrollado por System Science y adquirido por Synopsys . [1]
Este artículo de informática es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .