¿Qué es el formato de archivo V?
.v es la extensión de archivo de fuente estándar para Verilog, un lenguaje de descripción de hardware (HDL) utilizado para modelar circuitos digitales para la programación de FPGA y el diseño de ASIC. Verilog fue creado en 1984 por Phil Moorby y Prabhu Goel en Gateway Design Automation y posteriormente fue estandarizado como IEEE 1364-1995. Permite a los ingenieros describir el comportamiento, la estructura y la temporización del hardware a nivel de transferencia de registros (RTL), que las herramientas de síntesis mapean luego a puertas lógicas reales.
Un archivo .v contiene una o más definiciones de module. Cada módulo declara su lista de puertos, señales internas wire y reg, parámetros y lógica expresada a través de bloques always (conductuales), sentencias assign (combinacionales) o instanciación estructural de otros módulos. La versión del archivo - Verilog-95, Verilog-2001 o Verilog-2005 - no se declara en el archivo; las herramientas la infieren a partir de las construcciones sintácticas utilizadas.
Verilog-2005 (IEEE 1364-2005) fue el último estándar independiente antes de que SystemVerilog (IEEE 1800-2017, .sv) fusionara el HDL con características de lenguaje de verificación de hardware, convirtiéndose en el sucesor moderno. Los archivos .v siguen siendo muy utilizados en proyectos heredados de FPGA y ASIC en todo el mundo. VHDL (.vhd) es la principal alternativa de HDL, prevalente en contextos de defensa y aeroespacial europeo.
Las herramientas de simulación como iverilog (Icarus Verilog) y Verilator, y las herramientas de síntesis como Vivado (AMD/Xilinx) y Quartus Prime (Intel/Altera), aceptan archivos .v de forma nativa.
Seguridad y protección
RIESGO: LOWCódigo fuente en texto plano; sin riesgo de ejecución al visualizarse en un editor de texto. El riesgo solo existe cuando se sintetiza y programa en hardware - revise el RTL de fuentes no confiables para detectar troyanos de hardware.
Detalles del formato
en pocas palabras- Archivo de fuente del lenguaje V - El lenguaje de programación V (vlang.io, 2019) también utiliza la extensión .v para sus archivos de fuente - no relacionado con el diseño de hardware.
- Archivo de asistente de pruebas Coq - El asistente de pruebas Coq utiliza ocasionalmente .v para scripts de prueba de teoremas; distinto de Verilog.
Programas que abren archivos V
Detalles técnicos
especificación profunda| Estándar del lenguaje | IEEE 1364-1995, 1364-2001, 1364-2005 (Verilog-2005) |
| Estándar sucesor | SystemVerilog IEEE 1800-2017 (extensión `.sv`) |
| Codificación | ASCII (según especificación IEEE); soporte Unicode dependiente de la herramienta en comentarios |
| Construcción de nivel superior | bloque `module ... endmodule` |
| Construcciones de simulación | `always`, `initial`, `#delay`, `$display`, `$monitor`, `$dumpvars` |
| Construcciones de síntesis | `always @(posedge clk)`, `assign`, instanciación estructural de módulos |
| Sistema de valores lógicos | Cuatro valores - 0, 1, X (indefinido), Z (alta impedancia) |
| Tamaño de archivo típico | 500 B - 500 KB por módulo; netlists sintetizados de hasta varios MB |
| Detección de versión | Sin declaración de versión en el archivo - las herramientas infieren la versión de las construcciones sintácticas |
| Simulación de código abierto | Icarus Verilog (`iverilog`), Verilator |
| Herramientas de síntesis comercial | Vivado (AMD/Xilinx), Quartus Prime (Intel/Altera) |
| Tipo MIME | `text/plain` (también `text/x-verilog` informalmente) |
| Lanzado | 1984 (Verilog language); IEEE 1364-1995 standard |
| Última versión | Verilog-2005 (IEEE 1364-2005); superseded by SystemVerilog (IEEE 1800-2017) |
| Estándar abierto | Sí · libre de regalías |
| Especificación | ieeexplore.ieee.org |
Conversiones de V
Preguntas y respuestas de la comunidad
preguntado por usuariosAún no hay preguntas; sea el primero en preguntar sobre los archivos V.