Catapult Coverage

Catapult Coverage proporciona una cobertura de código compatible con HLS que, a diferencia de las herramientas de cobertura centradas en el software, reconoce cómo las construcciones de diseño y las directivas HLS afectan al hardware resultante posterior a HLS y, por lo tanto, las tiene en cuenta a la hora de recopilar y denunciar la cobertura del código en la fuente de diseño de HLS. Los ejemplos incluyen las directivas de incorporación de funciones y de desenrollado de bucles. Catapult Coverage también es compatible con los tipos de cobertura necesarios en la fuente de diseño de HLS, como la cobertura de condición y expresión enfocada (FEC) y la cobertura de acceso a la matriz.

Catapult Coverage proporciona una cobertura funcional inspirada en SV con soporte para grupos de cobertura, puntos de cobertura, compartimentos y cruces en los bancos de pruebas de C++/SystemC. También se admite el método sample () para especificar cuándo se debe muestrear un grupo de cobertura. Al igual que con la RTL tradicional, esta cobertura funcional se puede vincular a los requisitos del plan de pruebas.

Catapult Coverage escribe los datos de cobertura en la UCDB (Unified Coverage Database) de Questa para obtener un conjunto completo de herramientas de gestión de la verificación posprocesamiento. La UCDB permite la gestión de la verificación basada en datos y admite el análisis y la presentación de los resultados de la cobertura, la fusión y la clasificación de las pruebas, la aplicación de exclusiones y la integración de los planes de pruebas.

La integración con Questa Visualizer permite el análisis de los datos de cobertura basado en la interfaz gráfica de usuario. Esto incluye analizar los resultados de cobertura anotados en la fuente y la jerarquía del diseño del HLS, una ventana de grupos de coberturas para revisar la cobertura funcional, la posibilidad de realizar fácilmente la clasificación deseada y especificar fácilmente con el botón del ratón las exclusiones de cobertura deseadas.