Con el RTL de «especificación» y el RTL de «implementación» como entrada, la aplicación formal RTL Questa Equivalent compara automáticamente los dos bloques de código mediante un análisis formal exhaustivo. No se requiere ningún conocimiento de los idiomas de especificación formal o de propiedad.
Póngase en contacto con nuestro equipo de ventas 1-800-547-3000
Los diseños actuales se basan en complejas interfaces estándar del sector 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 personalice para ayudar a diferenciar el producto final, la integración incluso de una IP madura puede provocar problemas inesperados.
Vea todas las grabaciones de vídeo de verificación formal disponibles en el Academia de verificación.
Estamos listos para responder a sus preguntas.
Póngase en contacto con nuestro equipo de ventas 1-800-547-3000
La Academia de Verificación proporciona las habilidades necesarias para desarrollar las capacidades del proceso de verificación funcional de una organización y proporciona 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, normas, metodologías y ejemplos para ayudar a entender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de la manera más eficaz.
La publicación Verification Horizons ofrece conceptos, valores, metodologías y ejemplos para ayudar a entender lo que pueden hacer las tecnologías avanzadas de verificación funcional y cómo aplicarlas de la manera más eficaz.
