Catapult Coverage

Catapult Coverage proporciona una cobertura de código compatible con HLS que, a diferencia de las herramientas de cobertura centradas en software, reconoce cómo las construcciones de diseño y las directivas HLS afectan el hardware posterior a HLS resultante y, por lo tanto, los toma en consideración al recopilar e informar de la cobertura del código en la fuente de diseño de HLS. Los ejemplos incluyen directivas de desenrollamiento de funciones y desenrollamiento de bucle. Catapult Coverage también admite los tipos de cobertura necesarios en la fuente de diseño HLS, como la cobertura de Condition and Focused Expression (FEC) más la cobertura de acceso a la matriz.

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

Catapult Coverage escribe los datos de cobertura en Questa UCDB (Unified Coverage Database) para obtener un conjunto completo de herramientas de administración de verificación posterior al procesamiento. UCDB permite la administración de verificación basada en datos con soporte para análisis e informes de resultados de cobertura, fusión y clasificación de pruebas, aplicación de exclusiones e integración de planes de prueba.

La integración con Questa Visualizer proporciona un análisis basado en GUI de los datos de cobertura. Esto incluye analizar los resultados de cobertura anotados en la fuente y jerarquía del diseño HLS, una ventana de grupo de cobertura para revisar la cobertura funcional, la capacidad de realizar fácilmente la clasificación deseada y la especificación fácil de hacer clic con el botón del mouse de las exclusiones de cobertura deseadas.