Abierto de Verificación Libiary Descarga gratuita

[davyzhu]

Hola a todos,

Soy un usuario Verilog y quiero encontrar algunas herramientas para hacer afirmación (como C valer ()).

Encontré Abierto de Verificación Libiary (OVL) se ha actualizado.Y es gratis para descargar (http://www.accellera.org/activities/ovl/).

Espero utilizarlo en un futuro próximo.

Nadie ha utilizado aún?Por favor, dar algún comentario.Gracias!

Saludos cordiales,
Davy

 

[the_penetrator]

hi there

¿alguien sabe si estos chicos han disminuido el apoyo a VHDL OVL versión?Ha sido más de 2 años desde la última VHDL mejoras en la versión de la OVL.

TIA
the_penetratorŠ

 

[davidyu]

Synopsys VCS puede apoyar OVL, SVA, cadencia SIU apoyo PSL, JEDA apoyo SystemC afirmación.doc sólo libre, libre no se puede encontrar suave.

 

[stevepre]

Debido a la naturaleza de VHDL, no es tan fácil de utilizar en comparación con las bibliotecas verilog versión.No es
de extrañar que la gente no le gusta utilizar.