Open de vérification Libiary Téléchargement gratuit

[davyzhu]

Salut à tous,

Je suis un utilisateur Verilog et je veux trouver quelques outils ne assertion (comme C's assert ()).

J'ai trouvé Open Verification Libiary (OVL), a été mis à jour.Et il est gratuit à télécharger (http://www.accellera.org/activities/ovl/).

J'espère pouvoir l'utiliser dans un avenir proche.

Tout le monde a encore utilisé?S'il vous plaît donner quelques commentaires.Merci!

Cordialement,
Davy

 

[the_penetrator]

Salut là

Quelqu'un sait si ces gars-là ont abandonné le soutien de VHDL version OVL?Cela fait plus de 2 ans depuis le dernier raffinement de la version VHDL de l'OVL.

TIA
the_penetratorŠ

 

[davidyu]

Synopsys VCS peut soutenir OVL, SVA, IUS cadence soutien PSL, JEDA étayer l'affirmation de SystemC.doc seulement libre, pas de doux peut être trouvée.

 

[stevepre]

En raison de la nature du VHDL, ce n'est pas si facile à utiliser la bibliothèque par rapport à ceux Verilog version.Il n'est pas surprenant que les gens n'aiment pas l'utiliser.