Restricción del conjunto de señales registradas en GHDL

No es una buena respuesta, pero según esta página Wiki, ghdl puede crear una versión comprimida del archivo VCD. Espero que se comprima bastante bien: su breve prueba puede darle una idea de la relación de compresión.

Esto todavía lo deja con el volcado completo, por supuesto, pero la wiki muestra que el archivo se descomprime y se canaliza al visor de forma de onda GTKWave.

En cambio, si lo conectó a un filtro usando grep, podría extraer una versión reducida y guardarla.

Mirando el formato de archivo VCD, este será un proceso de 2 etapas:

1. grep los nombres de las señales que le interesan. Esto proporciona las secuencias de caracteres cortos que VCD utiliza como ID de cada señal.
2. grep para todas las líneas que comienzan con #(marcas de tiempo) y todas las líneas que terminan con los ID que le interesan.
3. Empaquetar el resultado con el encabezado del archivo original debería ser fácil ya que cada línea de encabezado comienza con $.

Puede ser que --wavela opción de ghdl que escribe su propio formato de archivo .ghw sea más fácil de analizar para este propósito, pero no sé de antemano si ghdl puede comprimir eso, y lo anterior no se ve tan mal como script.

Una mejor respuesta, pero a más largo plazo, es pedirle a ghdl que sea capaz de seleccionar señales para volcarlas a través de la página de Tickets . Esto se ha discutido, por supuesto, pero que yo sepa no se ha llevado más lejos. Supongo que la pregunta es el formato correcto para especificar señales de interés. Tal vez se podría hacer que GHDL escriba una lista de todas las señales jerárquicas en el archivo y luego, cuando se ejecute, lea una versión editada del mismo archivo que especifique el subconjunto de señales para rastrear.