Vera Vs. Specman

C

Carrie

Guest
¿Puede alguien decirme que es más popular, potente y fácil de aprender?gracias.

 
Vera es fácil de grasa, pero Specman es más popular y poderoso.Ambos son como el lenguaje C.En Specman, puede escribir diferentes tipos de propiedades y afirmaciones.

Recuerdos,
KH

 
Véase el siguiente enlace:
http://www.elektroda.pl/eboard/ftopic64351.html

Recuerdos,
KH

 
Me encanta Specman.Es muy muy parecido a VHDL, con pocos, pero los cosméticos de gran alcance.

Dada la opción, se elige el idioma Specman E, que es adoptado como el idioma de verificación IEEE.Haga una búsqueda y encontrarás la página oficial.Vera?Yo creo que va en el desarrollo de SystemVerilog.Si se considera la lista de clientes de Specman Elite, que no será tan convencido de que va a ser muertos en pocos años.Una vez más, los escépticos a contar una historia diferente.Novas Software Inc ha proporcionado una interfaz "nbench" para leer el archivo E durante la fase de depuración.

El flujo de ejecución de Specman E no es sencillo.

Specman idioma proporciona la interfaz de E Orientado a Aspectos, como el aspecto más orientado JAVA y Jeda (de Jeda Technologies).

Hay un e-libro sobre la "verificación de diseño con E", publicado el pasado diciembre de 2003.

Buena suerte.

 
Gracias por las respuestas anteriores.Yo también creo e Specman es más poderoso y popular.Es extraño que mi jefe nos pide que el medio ambiente mediante la verificación de configuración vera.

 
Carrie escribió:

Gracias por las respuestas anteriores.
Yo también creo e Specman es más poderoso y popular.
Es extraño que mi jefe nos pide que el medio ambiente mediante la verificación de configuración vera.
 
Vera se va a desaparecer y Synopsys ya no está en desarrollo con su herramienta de VCS más.E es muy buena y la herramienta con Specman también son automáticas y de gran alcance, que en realidad salvar a su esfuerzo, pero puede todavía tiene un futuro impredicable, Verisity ya había puesto sus esfuerzos en otras metodologías de verificación, pero todavía sus reservas desplegable

 
Hello Again:

Ya, como se señaló por Aji, he publicado un tema "Buscando la verdad: Specman Elite" a la verificación del Janick Bergeron's Guild.¿Tienes algunas respuestas, ni siquiera el 1 de representante Verisity.

Ahora, sobre el apoyo a Specman Elite, creo que estos apoyar a las empresas / Back Specman idioma Elite trabajo banco de pruebas:

SynaptiCAD (Testbencher Pro)
Novas (nBench)
Consulta NoBug

Como Verisity adquirido recientemente una compañía de simulador de HDL (sistemas de ejes), creo que este movimiento de alguna manera mejorar su oportunidad para salir a un ganador.Nadie puede decir!Sin embargo, el tiempo lo hará.

En cuanto a SystemVerilog, creo que es una opción bastante buena.Sin embargo, todavía hay muchas cosas que resolver (la compatibilidad entre las LAD, los problemas de interoperabilidad, el perfeccionamiento LRM) y la mayoría de los vendedores sólo admiten un subconjunto de su sintaxis.El próximo año, podemos ver un mejor apoyo.Hablar de MTI, mi experiencia indica que una útil y estable, versión 6.0 será de alrededor de algún tiempo a finales del verano de 2005.Es definitivamente escamosa ahora.He tratado de 5,8 y me encontré volver a 5.7G (simplemente brillante, pero fue liberado en octubre de 2003).

Creo que hasta SystemVerilog es totalmente compatible, combinación de HDL PSL HVLs seguirá floreció.

 
Specman tendrá una nueva versión pronto en la cadencia, vamos a conocer a la fuerza el apoyo a la cadencia de esta espléndida herramienta de entonces.

 
Vera lado alguien es muy fácil de aprender, cualquier persona puede darme un ejemplo sencillo Programe? muchas gracias!Me resulta muy difícil de aprender, pero tengo que usarlo!

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />
 
You must log in or register to reply here.

Welcome to EDABoard.com

Sponsor

Back
Top