cubierto: en línea en la nube

PROGRAMA:

NOMBRE

Cubierto: analizador de cobertura de código Verilog

SINTAXIS

cubierto [opciones_globales] Puntuación [opciones]
cubierto [opciones_globales] unir [opciones] base_de_datos_existente base de datos_a_fusionar+
cubierto [opciones_globales] reporte [opciones] archivo_base_datos
cubierto [opciones_globales] clasificar [opciones] base de datos_para_clasificar base de datos_para_clasificar+
cubierto [opciones_globales] excluir [opciones] exclusión_id+ archivo_base_datos

DESCRIPCIÓN

Cubierto es una herramienta de análisis de cobertura de código Verilog que puede ser útil para determinar cómo
Bueno, un conjunto de pruebas de diagnóstico cubre el diseño que se está probando. Lecturas cubiertas en el
Archivos de diseño de Verilog y un archivo de volcado con formato VCD, LXT2 o FST de una ejecución de diagnóstico y
genera un archivo de base de datos llamado archivo de base de datos de descripción de cobertura (CDD),
comando de puntuación. El comando de puntuación de Covered se puede usar alternativamente para generar un archivo CDD
y un módulo Verilog para usar Covered como un módulo VPI en un banco de pruebas que puede obtener
información de cobertura en paralelo con la simulación (ver USO CUBIERTO AS A VPI MÓDULO). La
El archivo CDD resultante se puede combinar con otros archivos CDD del mismo diseño para crear
cobertura acumulada, utilizando el comando fusionar. Una vez que se crea un archivo CDD, el usuario puede
use Covered para generar varios informes de cobertura legibles por humanos en un formato ASCII o use
GUI de Covered para ver de forma interactiva los resultados de la cobertura mediante el comando de informe. Si
Se encuentran puntos de cobertura descubiertos que el usuario desea excluir de la cobertura, esto puede
manejarse con el comando de exclusión de la línea de comandos o dentro de la GUI. Cuando múltiples
Los archivos CDD se crean a partir del mismo diseño, el usuario puede obtener una clasificación de cobertura de
esos archivos CDD para determinar un orden ideal para las pruebas de regresión, así como para comprender
qué archivos CDD se pueden excluir de las regresiones debido a su incapacidad para alcanzar nuevos
puntos de cobertura. Además, como parte del comando de puntuación de Covered, la condición de carrera
Las posibilidades se encuentran en los archivos de diseño y se pueden ignorar o marcar como advertencias.
o marcado como errores. Al especificar las condiciones de carrera como errores, también se puede utilizar Covered
como verificador de condición de carrera.

GLOBAL CAMPUS

Estas opciones se colocan inmediatamente después de la palabra clave. cubierto en la línea de comandos. Ellos
se puede utilizar para cualquier comando (con la excepción de -v y -h) y tienen el mismo efecto en
cada caso.

-B Ofuscar. Ofusca todos los nombres sensibles al diseño antes de generarlos en
formato legible por el usuario. Esta opción es útil cuando se comparte la salida con el
desarrolladores de Covered con fines de depuración.

-D Depurar. Muestra información útil para depurar problemas de herramientas. Nota: este
La opción ahora solo está disponible cuando se cubre se compila con --enable-debug
opción de configuración.

-h Ayudar. Muestra esta información de uso.

-P [nombre de archivo]
Modo de creación de perfiles. Activa el generador de perfiles de código fuente interno que producirá un
informe de perfilado del comando de ejecución a la especificada nombre de archivo o, si no
nombre de archivo está presente, en un archivo llamado cubierto.prof. Esta opción solo está disponible
si el - habilitación de perfiles La opción de configuración se especificó cuando Covered estaba
construido.

-Q Modo silencioso. Hace que se supriman todas las salidas.

-T Modo conciso. Hace que se supriman todas las salidas con la excepción de la advertencia
mensajes y la información del encabezado cubierto.

-v Versión. Muestra la versión cubierta actual.

COMANDOS

Puntuación Analiza archivos Verilog y archivos de volcado VCD / LXT2 / FST para crear un archivo de base de datos utilizado para
fusión y presentación de informes.

unir Fusiona dos o más archivos de base de datos en uno.

reporte Genera informes de cobertura legibles por humanos a partir de un archivo de base de datos o inicia la cobertura
informe GUI.

clasificar Genera un informe que especifica un orden ideal para ejecutar regresiones y especifica
Archivos CDD que no agregan nueva información de cobertura (y, por lo tanto, pueden excluirse
de regresiones, si se desea).

excluir
Permite uno o más puntos de cobertura (identificados con ID de exclusión en un informe
generado con la opción -x) para tener su propiedad de exclusión activada (incluir para
excluir o excluir para incluir) y, si la propiedad de exclusión está configurada para excluir,
opcionalmente, permitir que una razón para la exclusión se asocie y se almacene en
el archivo CDD especificado.

SCORE COMANDO

Las siguientes opciones son válidas para el comando de puntuación:

-A Ovl Hace que las afirmaciones de OVL se utilicen para la cobertura de afirmaciones. Esta bandera se debe dar
al comando de puntuación si se necesitan métricas de cobertura de afirmación en el informe
mando.

-cdd base de datos
Igual que la opción -o. Útil cuando el archivo CDD que se puntúa es una entrada para la puntuación
mando.

-cli [nombre de archivo]
Hace que el depurador de la línea de comandos se utilice durante la puntuación del archivo de volcado de VCD / LXT2 / FST.
If nombre de archivo se especifica, este archivo contiene información guardada en una llamada anterior
para savehist en la CLI y hace que se reproduzca el historial contenido en este archivo
antes del símbolo del sistema CLI. Si nombre de archivo no se especifica, el indicador CLI
estar inmediatamente disponible al inicio de la simulación. Esta opción solo está disponible
cuando Covered está configurado con el --habilitar-depurar .

-conservador
Si se especifica esta opción, cualquier bloque lógico que contenga código que podría causar
Las discrepancias de cobertura que conducen a resultados de cobertura potencialmente inexactos son
eliminado de la consideración de cobertura. Consulte la Guía del usuario para obtener más información sobre qué
El tipo de código puede generar imprecisiones en la cobertura.

-varillas de volcado [nombre de archivo]
Si esta opción se especifica sin las opciones -vcd o -lxt, se analiza el diseño,
se crea un archivo CDD y un archivo de módulo Verilog de nivel superior llamado nombre de archivo (si esto
se especifica el valor) o "cubierto_dump.v" (si nombre de archivo no se especifica) se crea.
Este archivo se utiliza en la compilación del simulador para crear un archivo de volcado que se
optimizado para obtener cobertura para el archivo CDD especificado. Si el -vcd o
Se especifican las opciones -lxt, esta opción no tiene ningún efecto. Consulte la Guía del usuario para
más información sobre cómo utilizar esta opción.

-D definir_nombre
Define el nombre especificado en 1.

-D define_name = valor
Define el nombre especificado en el valor especificado.

-e nombre_de_bloque
Nombre del módulo, tarea, función o bloque de inicio / fin con nombre para no puntuar. Causa todo
los subbloques del árbol Verilog debajo de este bloque tampoco se puntuarán.

-ea Excluye a todos los bloques siempre de ser considerados para cobertura.

-CE Excluye todas las asignaciones continuas de ser consideradas para cobertura.

-ei Excluye todos los bloques iniciales de ser considerados para cobertura.

-ef Excluye todos los bloques finales de ser considerados para cobertura.

-ep [nombre ]
Excluye todo el código que se encuentra entre '// cobertura desactivada' y '// cobertura activada' pragmas
incrustado en el diseño. Si nombre se especifica, la palabra clave en el pragma
cambiarse a ese nombre en lugar de la "cobertura" predeterminada, lo que permite al usuario
cambie el aspecto del pragma si entra en conflicto con otras herramientas.

-F nombre_módulo = [in_expr,] out_expr
Indica al analizador dónde encontrar el FSM ubicado en el módulo Nombre del módulo lo cual
tiene una expresión de estado de entrada llamada en_expr y expresión de estado de salida llamada
salida_expr. Si en_expr no está especificado, salida_expr se utiliza como entrada y
expresión del estado de salida.

-f nombre de archivo
Nombre del archivo que contiene argumentos adicionales para analizar.

-primero nombre de archivo
Nombre del archivo de volcado FST con el que puntuar el diseño. Si -vcd, -lxt o esta opción no es
utilizado, Covered solo creará un archivo CDD inicial a partir del diseño y no
Intente puntuar el diseño.

-g [nombre_módulo =] (1 | 2 | 3)
Permite al usuario limitar el analizador a una generación específica de Verilog
estándar para un módulo específico o el diseño completo, donde 1 = Verilog-1995,
2 = Verilog-2001, 3 = SystemVerilog. Si nombre_módulo = se especifica, el analizador utiliza el
especificó el estándar Verilog solo para ese módulo, lo que permite que el resto del diseño
utilizar el estándar global. De forma predeterminada, el estándar global se establece en el más reciente
versión (3). Esta opción se puede especificar más de una vez para una llamada determinada al
comando de puntuación; sin embargo, si la opción -g especifica más que un valor global (es decir,
sin el módulo = prefijo), solo se utilizará el último valor de opción.

-h Muestra esta información de ayuda.

-I directorio
Directorio para encontrar archivos Verilog incluidos.

-i nombre de instancia
Verilog referencia jerárquica al módulo que está en la parte superior del árbol para ser
anotado. Esta opción es necesaria si el módulo para verificar la cobertura no es el nivel superior
módulo en el diseño. Si no se especifica, -t Se utiliza el valor.

-lxt nombre de archivo
Nombre del archivo de volcado LXT2 con el que se puntuará el diseño. Si -vcd, -fst o esta opción no es
utilizado, Covered solo creará un archivo CDD inicial a partir del diseño y no
Intente puntuar el diseño.

-m mensaje
Permite al usuario especificar información sobre este archivo CDD. Esta información puede
ser cualquier cosa (los mensajes con espacios en blanco deben ir entre comillas dobles
marcas), pero puede incluir algo sobre los argumentos de la simulación para
vincular el archivo CDD a su simulación con el fin de recrear el archivo CDD.

-o base de datos
Nombre de la base de datos en la que escribir la información de cobertura. Si no se especifica, la salida
El nombre del archivo de la base de datos será "cov.cdd".

-p nombre de archivo
Reemplaza el nombre de archivo predeterminado utilizado para almacenar la salida del preprocesador intermedio.

-P alcance_parámetro = valor
Realiza un defparam en el parámetro especificado con valor.

-rS Cuando se infringen las comprobaciones de la condición de carrera, se eliminan los bloques lógicos infractores.
de la consideración de cobertura y toda la salida se suprime con respecto a la carrera
violación de la condición. Consulte la documentación del usuario para obtener más información sobre la raza.
estado de comprobación de uso.

-rW Cuando se infringen las comprobaciones de la condición de carrera, se eliminan los bloques lógicos infractores.
de la consideración de cobertura y se emite la infracción de la condición de carrera. Esto es
el comportamiento predeterminado para el manejo de condiciones de carrera. Consulte la documentación del usuario para obtener más
información sobre el uso de la comprobación de condiciones de carrera.

-re Cuando se infringen las comprobaciones de la condición de carrera, se emite el motivo y finaliza la puntuación.
inmediatamente. Consulte la documentación del usuario para obtener más información sobre la condición de carrera.
comprobar el uso.

-rI [=módulo nombre ]
If módulo nombre no se especifica, la comprobación de la condición de carrera se omite por completo para
todo el diseño. Si módulo nombre se especifica, se omite la comprobación de la condición de carrera
para el módulo especificado. Consulte la documentación del usuario para obtener más información sobre la raza.
estado de comprobación de uso.

-rP [=nombre ])
Utiliza pragmas incrustados para ignorar cierto código de la verificación de condiciones de carrera
consideración (si nombre se especifica que se utiliza como la palabra clave pragma). Ver usuario
documentación para obtener más información sobre el uso de la comprobación de condiciones de carrera.

-S Genera estadísticas de simulación una vez completada la simulación. Esta informacion es
actualmente solo es útil para los desarrolladores de Covered.

-t nivel superior módulo
Especifica el nombre de módulo del módulo superior que se medirá. Tenga en cuenta que
no es necesario que este módulo sea el módulo superior del simulador. Este campo
es necesario para todas las llamadas al comando de puntuación.

-top_ts escala de tiempo
Esta opción solo es válida cuando se han especificado las opciones -vpi o -dumpvars.
Esta opción permite al usuario especificar una escala de tiempo para el módulo Verilog generado.
creado con la opción -vpi / -dumpvars. Si no se especifica esta opción, no
Se creará una escala de tiempo para el módulo generado. El valor de escala de tiempo is
especificado de la siguiente manera:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

Si se necesitan espacios en blanco entre los distintos valores, coloque todo el contenido de
escala de tiempo entre comillas dobles.

-ts número
Cuando se produce la puntuación, esta opción permite al usuario ver qué tan lejos ha recorrido el simulador.
progresó dando salida al paso de tiempo actual a la salida estándar. El valor de
número especifica cuántos pasos de tiempo se pueden simular antes de generar
el intervalo de tiempo actual (resulta en menos llamadas al flujo de salida).

-T (mínimo | típico | máximo)
Especifica qué valor usar cuando se encuentra una expresión de retraso en el formulario:
min: típ: máx. Si no se especifica esta opción, la selección 'tip' se utiliza de forma predeterminada.

-v nombre de archivo
Nombre del archivo Verilog específico para puntuar.

-vcd nombre de archivo
Nombre del archivo de volcado de VCD con el que se puntuará el diseño. Si -lxt, -fst o esta opción no es
utilizado, Covered solo creará un archivo CDD inicial a partir del diseño y no
Intente puntuar el diseño.

-vpi [nombre de archivo]
Si esta opción se especifica sin las opciones -vcd, -lxt o -fst, el diseño es
analizado, se crea un archivo CDD y un archivo de módulo Verilog de nivel superior llamado nombre de archivo
(si se especifica este valor) o "cubierto_vpi.v" (si nombre de archivo no está especificado) es
creado junto con un archivo de tabla PLI llamado nombre de archivo.ta b o "cubierto_vpi.v.ta b".
Ambos archivos se utilizan en la compilación del simulador para utilizar Covered como
un módulo VPI. Si se especifican las opciones -vcd, -lxt o -fst, esta opción
no tiene efecto.

-Wignore
Suprima la salida de advertencias durante el análisis y la simulación de código.

-y directorio
Directorio para buscar archivos Verilog no especificados.

+ libext +.extensión[+.extensión]*+
Extensiones de archivos Verilog para permitir la puntuación.

UNIR COMANDO

Las siguientes opciones son válidas para el comando fusionar:

-d nombre de archivo
Directorio para buscar archivos CDD para incluir. Esta opción se utiliza junto
con el -ext opción que especifica la extensión de archivo que se utilizará para determinar
qué archivos del directorio son archivos CDD.

-Er (first|pasado|all|new|los ancianos )
Especifica cómo manejar la resolución del motivo de exclusión. Si dos o más archivos CDD
se fusionan tienen motivos de exclusión especificados para el mismo punto de cobertura, el
El motivo de exclusión debe resolverse (a menos que sea el mismo valor de cadena). Si
esta opción no está especificada y se encuentra un conflicto, Covered interactuará
Solicite información para cada exclusión sobre cómo manejarla. Si esta opcion es
especificado, le indica a Covered cómo manejar todos los conflictos por motivos de exclusión. El
los valores son los siguientes: .br

first - Se utiliza el archivo CDD que contenía el primer motivo de exclusión.

pasado - Se utiliza el archivo CDD que contenía el último motivo de exclusión.

all - Se utilizan (concatenan) todas las razones de exclusión.

new - Utilice el motivo de exclusión más reciente especificado.

los ancianos - Utilice el motivo de exclusión más antiguo especificado.

-ext extensión
Usado junto con el -d opción. Si no -ext las opciones se especifican en el
línea de comandos, se utiliza el valor predeterminado de '.cdd'. Tenga en cuenta que un punto (.) Debe
se especifico.

-f nombre de archivo
Nombre del archivo que contiene argumentos adicionales para analizar.

-h Muestra esta información de ayuda.

-m mensaje
Permite al usuario especificar información sobre este archivo CDD. Esta información puede
ser cualquier cosa (los mensajes con espacios en blanco deben ir entre comillas dobles
marcas).

-o nombre de archivo
Archivo para generar una nueva base de datos. Si no se especifica este argumento, el
base_de_datos_existente se utiliza como nombre de la base de datos de salida.

INFORME COMANDO

Las siguientes opciones son válidas con el comando de informe:

-b Si se informa una salida detallada de lógica combinacional y la expresión es un vector
operación, esta opción genera la información de cobertura en forma de bit.

-c If -v se especifica, muestra solo las métricas cubiertas. El valor predeterminado es mostrar descubierto
sólo información.

-d (s | d | v)
Nivel de detalle para proporcionar en la información del informe de cobertura (s = resumen, d =
detallado, v = detallado). El valor predeterminado es resumen.

-e Envía todos los puntos de cobertura excluidos al archivo de informe junto con cualquier
razones de exclusión si el -d d or -d v se especifican las opciones.

-f nombre de archivo
Nombre del archivo que contiene argumentos adicionales para analizar.

-h Muestra esta información de ayuda.

-i Proporciona información de cobertura para instancias en lugar de módulo.

-m [l] [t] [c] [f] [r] [a] [m]
Tipo (s) de métricas para informar. l = línea, t = alternar, c = lógica combinacional, f = estado FSM
y transición de estado, r = condiciones de carrera, a = afirmación, m = memoria. El valor predeterminado es ltcf.

-o nombre de archivo
Archivo al que enviar la información del informe. El valor predeterminado es la salida estándar.

-s Suprime la salida de módulos / instancias que no contienen información de cobertura
al informe. Se utiliza para ayudar a eliminar información potencialmente sin sentido del
informar.

-v Obsoleto. Reemplazado por '-dd' o '-d v'.

-ver Inicia la interfaz GUI para informes de cobertura interactivos.

-w (número)
Especifica el ancho de línea máximo (en caracteres) que se puede usar para generar Verilog
información. Si no se especifica esta opción, todo el código Verilog en el informe se
conservan el mismo formato que se especificó en el código Verilog original. Si esto
se especifica la opción, el código Verilog se formateará para utilizar la mayor cantidad de
línea como sea posible, ajustando el texto cuando la línea alcanza el ancho máximo de línea. El
El ancho de línea máximo predeterminado es de 115 caracteres (este valor se usa si no hay ningún número
especificado con la opción -w). Si se especifica un número con la opción -w, este
El valor se utiliza para el ancho máximo de línea.

-x Genera los ID de exclusión de todos los puntos de cobertura descubiertos y excluidos dentro de
paréntesis antes de la salida detallada asociada del punto de cobertura. El
Los ID de exclusión se pueden utilizar para excluir / incluir puntos de cobertura a través de la opción de exclusión.
mando.

RANK COMANDO

Las siguientes opciones son válidas con el comando de rango:

-d nombre de archivo
Directorio para buscar archivos CDD para incluir. Esta opción se utiliza junto
con el -ext opción que especifica la extensión de archivo que se utilizará para determinar
qué archivos del directorio son archivos CDD.

-profundidad número
Especifica el número mínimo de archivos CDD necesarios para llegar a cada punto de cobertura. El
valor de número debe ser mayor que cero. El valor predeterminado es 1.

-ext extensión
Usado junto con el -d opción. Si no -ext las opciones se especifican en el
línea de comandos, se utiliza el valor predeterminado de '.cdd'. Tenga en cuenta que un punto (.) Debe
se especifico.

-f nombre de archivo
Nombre del archivo que contiene argumentos adicionales para analizar.

-h Muestra información de ayuda para el comando de rango.

-sólo nombres
Si se especifica, genera solo los nombres de archivo CDD necesarios que deben ejecutarse en el
para que se ejecuten. Si esta opción no está configurada, se generará una salida de estilo de informe.
siempre con información adicional. Esta opción está destinada a ser útil en scripts.
que solo quieren que los nombres de archivo CDD se ejecuten como salida.

-o nombre de archivo
Nombre del archivo al que se enviará la información de clasificación. El valor predeterminado es la salida estándar.

-requisito-cdd nombre de archivo
Nombre de la DDC que debe considerarse una DDC requerida para clasificar (es decir, no puede
excluido por cualquier motivo).

-lista-requerida nombre de archivo
Nombre de un archivo que contiene una lista de CDD que deben considerarse CDD obligatorios
para clasificar. Los nombres de archivo deben estar separados por espacios en blanco o caracteres de nueva línea
dentro del archivo.

-v Hace que se muestre una salida detallada cuando se ejecuta el comando de rango. Se produce
información de diagnóstico sobre cada una de las diferentes fases del algoritmo de clasificación
incluido el tiempo de ejecución, la cantidad de archivos CDD incluidos / excluidos y la cantidad de cobertura
puntos alcanzados por los CDD clasificados durante cada fase. Esta información está destinada a ser
útil para aquellos interesados ​​en el algoritmo de clasificación y su rendimiento.

-peso-afirmar número
Especifica una ponderación relativa para la cobertura de afirmaciones que se usa para clasificar los no únicos
puntos de cobertura. El valor de número es relativo a los valores usados ​​en el
-peso-alternar, -peso-memoria, -peine-de-peso, -peso-fsm y -línea de peso clasificar
opciones de comando.

-peine-de-peso número
Especifica una ponderación relativa para la cobertura de lógica combinacional utilizada para clasificar
puntos de cobertura no únicos. El valor de número es relativo a los valores usados ​​en
de la forma más -peso-alternar, -peso-memoria, -peso-afirmar, -peso-fsm y -línea de peso
rango de opciones de comando.

-peso-fsm número
Especifica una ponderación relativa para el estado de FSM y la cobertura de transición de estado utilizada para
clasificar los puntos de cobertura no únicos. El valor de número es relativo a los valores
Utilizado en el -peso-alternar, -peso-memoria, -peine-de-peso, -peso-afirmar y
-línea de peso rango de opciones de comando.

-línea de peso número
Especifica una ponderación relativa para la cobertura de línea utilizada para clasificar la cobertura no única
puntos. El valor de número es relativo a los valores usados ​​en el -peso-alternar,
-peso-memoria, -peine-de-peso, -peso-fsm y -peso-afirmar rango de opciones de comando.

-peso-memoria número
Especifica una ponderación relativa para la cobertura de memoria utilizada para clasificar la cobertura no única
puntos. El valor de número es relativo a los valores usados ​​en el -peso-alternar,
-línea de peso, -peine-de-peso, -peso-fsm y -peso-afirmar rango de opciones de comando.

-peso-alternar número
Especifica una ponderación relativa para alternar la cobertura utilizada para clasificar la cobertura no única
puntos. El valor de número es relativo a los valores usados ​​en el -peso-memoria,
-línea de peso, -peine-de-peso, -peso-fsm y -peso-afirmar rango de opciones de comando.

EXCLUIR COMANDO

Las siguientes opciones son válidas con el comando exclude:

-f nombre de archivo
Especifica el nombre de un archivo que contiene más opciones para el comando de exclusión.
Esta opción puede especificarse tantas veces como sea necesario para una sola llamada al
excluir comando.

-h Genera información de uso para el comando de exclusión.

-m Permite asociar un mensaje de exclusión con cualquier punto de cobertura que vaya
del estado incluido al estado excluido. Por cada punto de cobertura que cumpla
este requisito, se le pedirá al usuario que ingrese un motivo. La razón puede ser
cualquier longitud y cualquier número de líneas; sin embargo, todos los caracteres de formato (es decir,
nuevas líneas, pestañas, espacios adicionales, etc.) se eliminarán y se reemplazarán con un solo
espacio cuando se muestre más tarde. Para finalizar la entrada de un mensaje, presione un retorno,
ingrese un carácter de punto único (.) y presione regresar nuevamente. El período final
El personaje no formará parte del mensaje de exclusión.

-p Hace que todos los puntos de cobertura especificados impriman su estado de exclusión actual y
motivo de exclusión (si existe uno para el punto de cobertura excluido) al estándar
producción. Si se especifica esta opción, el -m se ignorará la opción.

USO CUBIERTO AS A VPI MÓDULO

Además de usar el comando de puntuación de Covered para analizar un archivo VCD, LXT2 o FST para resumir
información de cobertura, Covered también puede usarse como un módulo VPI dentro de un simulador para
extraer esta información. Las ventajas de usar Covered como VPI sobre un lector de archivos de volcado
Incluya lo siguiente. Primero, los archivos VCD pueden ser extremadamente grandes, especialmente durante mucho tiempo.
simulaciones, utilizando valioso espacio en disco. En segundo lugar, si está utilizando un simulador que
vuelca archivos en un formato diferente a VCD, LXT2 o FST y desea convertir estos volcados
tipos de archivos a una de estas versiones, el costo del espacio en disco y el tiempo pueden hacer que la creación
archivos de volcado que Covered requiere indeseables. Además, aunque se usa Covered como VPI
módulo ralentizará la velocidad de su simulación, lo más probable es que el tiempo total gastado
simular su diseño y calificar el diseño en un paso será más corto que hacerlo en
dos pasos. Como resultado, la utilidad de configuración de Covered puede generar bibliotecas listas para VPI para
los siguientes simuladores gratuitos y comerciales (Icarus Verilog, CVER y VCS).

Para crear automáticamente los archivos de biblioteca listos para VPI al generar Covered desde la fuente,
simplemente especifique uno o más de los siguientes cuando ejecute la utilidad "configurar" en el
Base Directorio cubierto: --with-iv = , --with-vcs =
ruta>, --with-cver = . Después de haber configurado Covered, simplemente escriba
'make' y 'make install'. Esto instalará los archivos de biblioteca listos para VPI en el
instalación del directorio libexec (por defecto, esta ruta será / usr / local / libexec).

Antes de estar listo para compilar el diseño, primero debe crear un archivo CDD, un archivo de nivel superior
Verilog y un archivo de tabla PLI (el último archivo solo es necesario para el compilador VCS).
Esto se hace especificando el -vpi (nombre de archivo) al comando de puntuación de Covered. Si no
nombre de archivo se especifica después de -vpi, los archivos cubiertos_vpi.v y cubierto_vpi.ta b serán
creado junto con el archivo de cobertura generado. Tenga en cuenta que este paso solo debe realizarse
realizado una vez a menos que los archivos de diseño cambien. Ahora está listo para compilar el
simulador.

Si está compilando una simulación de Icarus Verilog, simplemente agregue '-m
/usr/local/libexec/covered.vpi cubierto_vpi.v 'a la línea de comandos' iverilog '. Una vez
La compilación está completa, ejecute el archivo ejecutable generado como lo haría normalmente.

Si está compilando una simulación CVER, simplemente agregue
'+ loadvpi = / usr / local / libexec / cubierto.cver.so: vpi_compat_bootstrap cubierto_vpi.v' al
Línea de comandos 'cver'.

Si está compilando una simulación de VCS, simplemente agregue '+ vpi -load
/usr/local/libexec/covered.vcs.so:covered_register cubierto_vpi.v 'a los' vcs '
línea de comando. Una vez completada la compilación, ejecute el archivo ejecutable generado a medida que
normalmente lo haría.

Si está compilando una simulación NC-Verilog, cambie al comando irun de NC-Verilog para cargar
el objeto compartido cubierto: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
y habilite todos los accesos con '-access + rwc'. Puede codificar la llamada $vered_sim en
su RTL o puede ejecutarlo dinámicamente usando la CLI, agregando el -input input.tcl
cambiar a irun. Donde el archivo input.tcl se parece al siguiente y tb.dut es el
instancia de cobertura:
llamar -systf {$ cubierto_sim} {"anotado.cdd"} tb.dut
run

Hay dos plusargs que se pueden pasar al ejecutable generado cuando se ejecuta que
Cubierto analizará. El '+ cubierto_cdd = 'hará que Covered emita el
anotó el contenido del diseño en el archivo CDD especificado por . Esto permite múltiples ejecuciones
del simulador para generar varios archivos CDD diferentes sin necesidad de una recompilación para
ocurrir. La opción '+vered_debug' hará que Covered descargue una gran cantidad de salida excesiva
sobre su estado interno de tiempo de ejecución durante la simulación. Esta salida solo se generará
si Covered se configuró con la opción --enable-debug. Esta opción plusarg no debería
ser utilizado por usuarios habituales, ya que está destinado principalmente a ayudar a los desarrolladores de Covered in
depuración.

AUTORES

Trevor Williams[email protected]>

Uso cubierto en línea usando los servicios de onworks.net