Eficiencia
all
Cierre de cobertura más rápido
Utilice el análisis de cobertura para optimizar los planes de verificación y garantizar unas pruebas de diseño exhaustivas.
Garantizar la integridad de la verificación
Aplicación Veloce Coverage and Assertion
Para mantenerse al día con un sector en constante evolución, las empresas deben poder comprobar rápidamente la capacidad del diseño para cumplir los objetivos de especificación y cumplimiento. La aplicación Veloce Coverage and Assertion acelera los tiempos de depuración al garantizar el cierre de la cobertura durante las pruebas.
Póngase en contacto con nuestro equipo de ventas 1-800-547-3000
¿Por qué la aplicación Veloce Coverage and Assertion?
La aplicación Veloce Coverage and Assertion proporciona un análisis exhaustivo de las pruebas y, cuando se combina con técnicas de verificación basadas en métricas, destaca los primeros problemas que pueden convertirse en defectos críticos en fases posteriores. Al garantizar la integridad de la verificación del diseño, la probabilidad de éxito con el silicio en el primer paso aumenta drásticamente:
- Datos cuantificables sobre las pruebas de ejecución de código y funciones
- Cobertura reutilizable y afirmaciones en diferentes etapas de verificación
- Combine y analice el cierre de la cobertura para obtener una perspectiva superior de los esfuerzos de verificación
- La depuración basada en afirmaciones está disponible en las plataformas de verificación asistida por hardware
Congruencia
all
De la simulación a la emulación
Transfiera y combine sin problemas la cobertura y las afirmaciones entre las fases de simulación y emulación de la verificación.
Flexibilidad
all
Cobertura donde la necesita
La cobertura se puede activar y desactivar en diferentes niveles del diseño, lo que permite centrarse en aspectos específicos de las pruebas.
Atributos clave
Cobertura de código y cobertura funcional
La aplicación Veloce Coverage and Assertion permite una cobertura de código que analiza la ejecución del código y una cobertura funcional y rastrea la ejecución de las especificaciones definidas por el usuario. Al alcanzar niveles altos en estas métricas, se puede garantizar un nivel de pruebas exhaustivo.
Depuración basada en afirmaciones
Para los bancos de pruebas que no tienen monitores o comprobadores integrados, las afirmaciones se pueden utilizar con la aplicación Coverage and Assertion que rastrea el número de veces que se activan. Además, los activadores basados en afirmaciones se pueden utilizar para activar comportamientos cuando se activan, como la generación de formas de onda o la ejecución de pruebas.
Cierre de cobertura unificada
La aplicación Coverage and Assertion ofrece la posibilidad no solo de activar y desactivar la cobertura, sino también de fusionar la cobertura. Esto permite combinar cualquier información recopilada anteriormente para tener una visión más holística de la verificación. La cobertura recopilada en Questa y Veloce también se puede combinar.
Interoperabilidad EDA de Siemens
La aplicación Coverage and Assertion se puede combinar con otras herramientas de la EDA de Siemens para garantizar las pruebas completas de aspectos específicos del diseño. Por ejemplo, la aplicación se puede combinar con la aplicación Veloce Power para crear cargas de trabajo específicas para las pruebas de energía de sistemas y subsistemas.
