.gitignore para Synopsys VCS
14 reglas de exclusión para Synopsys VCS, listas para copiar en tu repositorio.
Solución de verificación funcional
El .gitignore completo para Synopsys VCS
# Generado por LFGitignore - https://lfgitignore.com
# Creado: 2026-10-13 16:15:29 UTC
# Tecnologías: Synopsys VCS
### Synopsys VCS ###
*.vcd
*.vpd
*.evcd
*.fsdb
simv
simv.daidir/
simv.db.dir/
csrc/
# Archivo de registro
*.log
simv.vdb/
urgReport/
DVEfiles/
ucli.key
vc_hdrs.h
Qué ignoran estas reglas de Synopsys VCS
Todos los patrones y por qué incluirlos en tu .gitignore.
Formatos de formas de onda
| Patrón | Qué ignora |
|---|---|
*.vcd |
Formatos de formas de onda |
*.vpd |
Formatos de formas de onda |
*.evcd |
Formatos de formas de onda |
*.fsdb |
Formatos de formas de onda |
simv |
Nombre predeterminado del ejecutable de simulación. Se puede indicar otro con esta opción (el nombre de la base de datos daidir asociada también se toma de aquí): -o <path>/<filename> |
Generado para las configuraciones principales de Verilog y VHDL
| Patrón | Qué ignora |
|---|---|
simv.daidir/ |
Generado para las configuraciones principales de Verilog y VHDL |
simv.db.dir/ |
Generado para las configuraciones principales de Verilog y VHDL |
csrc/ |
Infraestructura necesaria para cosimular modelos SystemC con modelos Verilog/VHDL. Se puede indicar un directorio alternativo con esta opción: -Mdir=<directory_path> |
*.log |
Archivo de registro |
simv.vdb/ |
Resultados de cobertura (generados con urg) y ubicación de la base de datos. También se puede usar esta opción: urg -dir <coverage_directory>.vdb |
urgReport/ |
Generado para las configuraciones principales de Verilog y VHDL |
Archivos relacionados con DVE y UCLI.
| Patrón | Qué ignora |
|---|---|
DVEfiles/ |
Archivos relacionados con DVE y UCLI. |
ucli.key |
Archivos relacionados con DVE y UCLI. |
vc_hdrs.h |
Al elaborar el diseño para DirectC, se crea el siguiente archivo con declaraciones de funciones C/C++. |
Cómo usar este .gitignore para Synopsys VCS
- Copia las reglas de Synopsys VCS de arriba o descarga el archivo directamente.
- Crea un archivo llamado .gitignore en la raíz del repositorio Git y pega las reglas.
- Si Git ya rastrea alguno de esos archivos, ejecuta git rm -r --cached . y crea otro commit: Git solo aplica las reglas de exclusión a los archivos que no rastrea.
- Incluye el .gitignore en un commit para que todo el equipo comparta las mismas reglas.