.v Extensión de archivo
Tipo de archivo 1Verilog Source Code File
| Desarrollador | Accellera |
| Categoría | Archivos de desarrollador |
| Formato | Text |
.V opción 1
Un archivo con extensión V puede ser un archivo de código fuente escrito en el lenguaje de descripción de hardware Verilog (HDL). Especifica un modelo de un sistema electrónico. Los archivos V suelen contener código fuente Verilog 2005, pero también pueden utilizar uno de los estándares Verilog más antiguos, como Verilog-95 o Verilog 2001.
Verilog 2005 ha sido sustituido por SystemVerilog, que se basa en el estándar anterior pero añade nuevas características de modelado de diseño. Los archivos fuente de SystemVerilog tienen una extensión de archivo .SV.
NOTA: Los archivos fuente de Verilog se guardan en formato de texto plano y pueden abrirse en un editor de texto como Notepad++.
Tipo de archivo 2Subsampled Raw YUV Image
| Desarrollador | N/A |
| Categoría | Raster Image Files |
| Formato | Binary |
.V opción 2
| Windows |
|
| Linux |
|
Tipo de archivo 3Coq Source Code File
| Desarrollador | ADT Coq |
| Categoría | Archivos de desarrollador |
| Formato | Text |
.V opción 3
Archivo de desarrollo utilizado por Coq, una aplicación utilizada para desarrollar pruebas matemáticas; se guarda en un formato de texto y contiene el código fuente construido en el lenguaje Gallina, que se basa en un lenguaje formal expresivo llamado Cálculo de Construcciones Inductivas (CIC); utilizado para almacenar pruebas matemáticas.
Los desarrolladores especifican las expresiones en los archivos V utilizando la "lengua vernácula" de Gallina, que es la sintaxis, o lenguaje de comandos, para el lenguaje Gallina. Una vez escritos los archivos V, pueden ser compilados y ejecutados con el Asistente de Pruebas de Coq IDE, que tiene el nombre de programa CoqIDE.
NOTA: El desarrollo para Coq, que anteriormente era mantenido por El Equipo de Desarrollo de Coq, es ahora mantenido por ADT Coq. ADT son las siglas de "Acción para el Desarrollo Tecnológico".
| Linux |
|