¿Qué hace systemverilog-waveform-debug-skill?
Habilidad de Codex para depurar Verilog/SystemVerilog a partir de formas de onda FST/VCD y código fuente RTL.
Descripción
Esta habilidad permite a Codex analizar archivos de forma de onda (FST o VCD) generados por simuladores HDL y correlacionarlos con el código RTL para ayudar en la depuración de diseños digitales.
Plataformas soportadas
- Codex (OpenAI)
- GTKWave / Surfer (visualización de formas de onda)
- Simuladores: ModelSim, QuestaSim, VCS, Icarus Verilog, etc.
Cómo funciona
- Carga de forma de onda: El usuario proporciona la ruta a un archivo
.fsto.vcd. - Extracción de señales: Codex utiliza herramientas externas (ej.
gtkwave,surfer) para listar señales disponibles y sus valores en tiempo. - Correlación con RTL: Codex busca en el código fuente RTL las señales relevantes y muestra sus valores en instantes específicos.
- Análisis: Se identifican discrepancias, estados no esperados, o violaciones de protocolo.
Ejemplo de uso
# Cargar forma de onda
codex waveform --file sim_output.fst
# Listar señales
codex waveform --signals
# Ver valor de señal en tiempo específico
codex waveform --signal clk --time 100ns
Requisitos
- Tener instalado GTKWave o Surfer en el sistema.
- Archivos de forma de onda en formato FST o VCD.
- Código fuente RTL accesible para correlación.
Limitaciones
- No puede modificar directamente archivos de forma de onda (solo lectura).
- Depende de herramientas externas para el parseo de formas de onda.
Licencia
MIT