Skip to main content
Para mostrar esta página se usa traducción automática. ¿Ver en inglés en su lugar?

Asegurar la integridad de la verificación

Veloce Coverage and Assertion App

Para mantenerse al día con una industria en constante evolución, las empresas deben poder verificar rápidamente la capacidad de un diseño para cumplir con las especificaciones y los objetivos de cumplimiento. La aplicación Veloce Coverage and Assertion acelera los tiempos de depuración al garantizar el cierre de la cobertura durante las pruebas.


Ponte en contacto con nuestro equipo de ventas 1-800-547-3000

Ingenieros de depuración y circuito integrado.

¿Por qué la Veloce Coverage and Assertion App?

La aplicación Veloce Coverage and Assertion proporciona un análisis exhaustivo de los esfuerzos de prueba y, cuando se combina con técnicas de verificación basadas en métricas, destaca los primeros problemas que pueden convertirse en fallas críticas en fases posteriores. Al garantizar la integridad de la verificación del diseño, la probabilidad de éxito del silicio de primer paso aumenta drásticamente:

  • Datos cuantificables sobre las pruebas de código y ejecución de funciones
  • Cobertura y afirmaciones reutilizables a través de diferentes etapas de verificación
  • Fusionar y analizar el cierre de cobertura para obtener una perspectiva de nivel superior de los esfuerzos de verificación
  • Depuración basada en aserciones disponible en plataformas de verificación asistidas por hardware

Atributos clave

Cobertura de código y cobertura funcional

La aplicación Veloce Coverage and Assertion permite la cobertura de código que analiza la ejecución del código y la cobertura funcional y rastrea la ejecución de especificaciones definidas por el usuario. Al lograr altos niveles en estas métricas, se puede garantizar un nivel completo de pruebas.

Ingeniero que codifica en una computadora portátil.

Depuración basada en aserciones

Para los bancos de pruebas que no tienen monitores o verificadores integrados, las afirmaciones se pueden usar con la aplicación Cobertura y Aserción que rastrea el número de veces que se disparan. Además, los activadores basados en aserciones se pueden usar para habilitar comportamientos cuando se dispara, como la generación de formas de onda o la ejecución de pruebas.

Depuración de un circuito integrado.

Cierre de cobertura unificada

La aplicación Cobertura y Aserción proporciona la capacidad no solo de activar y desactivar la cobertura, sino también de fusionar la cobertura. Esto proporciona la capacidad de combinar cualquier información recopilada previamente para tener una visión más holística de la verificación. La cobertura recopilada tanto de Questa como de Veloce también se puede fusionar.

Software C++ para análisis de fallas.

Interoperabilidad Siemens EDA

La aplicación Cobertura y Aserción se puede combinar con otras herramientas Siemens EDA para garantizar 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 pruebas de energía del sistema y subsistema.

Equipo analizador de forma de onda.

Recursos relacionados