Cubierto Herramienta de análisis de cobertura de código de código de código de veriloog gratis y abierto
Descargar ahora

Cubierto Clasificación y resumen

Cubierto Etiquetas

leer generar analizar Lea el archivo Verilog Análisis de archivos verilog generar cdd

Cubierto Descripción

Herramienta de análisis de cobertura de código de código de verilog gratis de código abierto Cubiertas Señidas en los archivos de diseño de Verilog y un archivo de volcado de VCD o Lxt formateado desde un diagnóstico y genera un archivo de base de datos denominado archivo de descripción de cobertura (CDD), utilizando el comando de puntuación. El comando de puntaje de cubierta se puede usar, alternativamente para generar un archivo CDD y un módulo de verilog para usar cubiertos como un módulo VPI en un banco de pruebas que puede obtener información de cobertura en paralelo con la simulación. El archivo CDD resultante se puede fusionar con otros archivos CDD desde el mismo diseño para crear una cobertura acumulada, utilizando el comando MERGE. Una vez que se crea un archivo CDD, el usuario puede usar cubierto para generar varios informes de cobertura legibles en humanos en un formato ASCII o usar GUI de cubiertos para ver interactivamente los resultados de la cobertura, utilizando el comando del informe. Además, como parte del comando de puntaje cubierto, las posibilidades de la condición de raza se encuentran en los archivos de diseño y se pueden marcar como errores, ignorados marcados como advertencias. Al especificar las condiciones de la raza como errores, cubiertos también se pueden usar como un verificador de condición de carrera. Cubierta. Cubierta que actualmente es compatible con Verilog-1995, VeriLog-2001 (con la excepción de los bloques de configuración actualmente), y algunas construcciones de SystemVeLog. Las métricas que se generan incluyen lo siguiente: · Cobertura de línea · Cobertura de alternancia · Cobertura de memoria · Cobertura de la lógica combinacional · Cobertura de la lógica combinacional · Cobertura del estado y de transición estatal de FSM · Cobertura de afirmación (funcional) de la afirmación (funcional) Qué hay de nuevo en esta versión: · Agregar soporte para $ aleatorio y $ Urandom System llamadas a la cobertura innlinada. · Incluye todas las correcciones hechas a la versión estable de 0.7.5. · Agregar soporte por $ valor $ PlusArgs System Llamadas a la cobertura innlinada. · Problema de fijación con las declaraciones IF generadas. · Documentación de usuario agregada para el flujo de cobertura en línea y las opciones de puntuación. · Problema de fijación con código generado que interrumpe las declaraciones de asignación separadas por comas. · La simplificación de código realizada y la mejora del rendimiento con la forma en que se manejaron internamente las declaraciones. · Se eliminaron las llamadas innecesarias a las funciones de simulación cuando se utiliza cobertura de código en línea (esto agregó una penalización de rendimiento). · Mejora el rendimiento del generador de código en línea para las señales generadas por el tamaño. · Problemas de indexación de memoria fija relacionados con la cobertura de la memoria. · Soporte agregado para la función estática y los operadores de ternarios estáticos para la cobertura de código en línea. · Código agregado para diferenciar las funciones utilizadas estáticamente y no para hacer lo correcto para la acumulación de cobertura de código en línea. · Se agregó la secuencia de comandos VCD_DIFF que comprueba la salida del archivo de volcado de los archivos de diseño no enlineados e instalados para verificar que el generador de código enlinado no cambie el resultado. Este cheque es ahora una parte de todas las ejecuciones de regresión innumeradas. · Hizo varias mejoras de rendimiento al lector de archivos VCD. El lector es ahora un 10-20% más rápido. · El soporte adicional para las regresiones de verilator se ejecuta y portado un par de diagnósticos al formato de verilador. · Agregar cheque Para asegurarse de que un archivo CDD sin modo de modo en línea que lea un archivo VCD que contenga datos de cobertura en línea emite un error al usuario y sale con gracia. · Se agregó una opción de puntuación de profundidad de peine en línea para permitir que el usuario especifique una profundidad de cobertura de combinación menos profunda que se generará, mejorando el rendimiento de la simulación y la cobertura en línea. · Para carreras de verilator, inserte pragmas alrededor de las señales de expresión de lógica combinacionales intermedias para excluirlos de ser emitidos a archivos VCD. Esto mejora la simulación y el rendimiento de la cobertura para las ejecuciones de verilator (otros simuladores que tienen un VPI que elimina automáticamente estas señales de generar devoluciones de llamada de cambio). · Realización del código Reemplaza de algún código real con valores de expresión intermedia precalculada para futuras mejoras de rendimiento de simulación. · Opción de "E" agregada a -inline-METRICS, que permite que la cobertura de eventos se encienda / desactive independientemente de otra cobertura lógica combinacional. Esto permite una mayor simulación y mejoras de rendimiento de cobertura (especialmente para carreras de verilator). · Optimización añadida que hace que la generación de código se omite para los archivos de afirmación cuando no se requiere cobertura de afirmación. · Las regañaciones completas ahora se ejecutan limpiamente con todos los cambios de código.

Cubierto Software relacionado