Usando el RTL de “especificación” y el RTL de “implementación” como entrada, la aplicación formal Questa Equivalent RTL compara automáticamente los dos bloques de código utilizando un análisis formal exhaustivo. No se requiere conocimiento de idiomas formales o de especificación de propiedad.
Ponte en contacto con nuestro equipo de ventas 1-800-547-3000
Los diseños actuales se basan en complejas interfaces estándar de la industria que deben verificarse para garantizar la interoperabilidad IP y el comportamiento del sistema. Ya sea que una interfaz determinada se utilice sin modificaciones o se personaliza para ayudar a diferenciar el producto final, la integración incluso de IP madura puede producir problemas inesperados.
Vea todas las grabaciones de video de verificación formal disponibles en Academia de Verificación.
Estamos esperando para responder a sus preguntas.
Ponte en contacto con nuestro equipo de ventas 1-800-547-3000
Verification Academy proporciona las habilidades necesarias para madurar las capacidades del proceso de verificación funcional de una organización, proporcionando un puente metodológico entre las propuestas de valor de alto nivel y los detalles de bajo nivel.
Información y actualizaciones sobre conceptos, valores, estándares, metodologías y ejemplos para ayudar a comprender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de manera más efectiva.
La publicación Verification Horizons proporciona conceptos, valores, metodologías y ejemplos para ayudar a comprender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de manera más efectiva.
