La cobertura de código proporciona informes y datos gráficos sobre la ejecución de determinados elementos, como las condiciones o las expresiones, en el código fuente. Así mismo, mide los bits que han sido activados durante la ejecución.

Por qué un Digital Snack sobre la cobertura de código

Un cierto número de usuarios de las soluciones ModelSim y Questa no conocen las funciones de cobertura de código de las mismas o no tienen el tiempo necesario para profundizar en ellas.

Durante el Digital Snack, Rachid Laaris explicará en qué consiste la cobertura de código, cuáles son las estadísticas de cobertura más apropiadas en cada caso y cómo habilitarlas.

Las ventajas de habilitar la cobertura de código

En la actualidad, la cobertura de código es más completa y permite realizar medidas más avanzadas. Este enfoque se ha usado a menudo en el ámbito software. Por ejemplo, la cobertura del código estructural es una actividad clave de cara a la conformidad con los estándares DO-178B y DO-178C en el desarrollo de software para sistemas de a bordo.

En el ámbito hardware, las exigencias son las mismas a la hora de diseñar HDL, como en el caso de certificaciones como DO-254 o IEC.

Cuando se trata de aplicaciones críticas en industrias como: transportes, defensa, aeronáutica, médica, etc. las autoridades certificadores exigen ver los datos obtenidos a través de la cobertura de código. En el caso de datos incompletos es necesario proporcionar documentos que justifiquen el porqué.

Así mismo, la cobertura de código aporta valor al resto de diseños ya que sirve de guía a la hora de realizar los tests y de cuantificar cuán eficiente será el producto.

Qué aprenderás durante el Digital Snack sobre la cobertura de código

Descubriremos las capacidades avanzadas de la cobertura de código y cuán fácil es implementarla, con el objetivo de reducir las barreras y aprovechar este valioso recurso para la verificación.

Veremos cómo almacenar la información generada durante la cobertura en la Unified Coverage Data Base (UCDB) y las funciones de la cobertura de código para el análisis de los datos generados.

Veremos los principales tipos de cobertura disponibles:

• Statement coverage
• Branch coverage
• Condition coverage
• Expression coverage
• Focused expression coverage
• Enhanced toggle coverage
• Finite State Machine coverage

Vídeo en inglés.

Opiniones recientes