Inicio : Extensiones de archivo : .v File

.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.

Más información

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++.

Programas que abren archivos V

Tipo de archivo 2Subsampled Raw YUV Image

Desarrollador N/A
Categoría Raster Image Files
Formato Binary

.V opción 2

Uno de los tres archivos de un archivo dividido .PPM; los otros son .U y .V; el códec MPEG de Stanford utiliza la representación YUV.

Programas que abren archivos V
Windows
Microsoft Windows Media Player
Linux
yuvsplittoppm
ppmtoyuvsplit

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.

Más información

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".

Programas que abren archivos V
Linux
CoqIDE

Acerca de los archivos V

Nuestro objetivo es asistir a nuestros lectores a comprender el origen del archivo con la extensión *.v, sus funciones y como abrirlo.

Tipo de archivo Coq Source Code File, el comando AbrirArchivos ha investigado y verificado individualmente las descripciones de software para Mac, Windows, Linux, Android y iOS enumeradas en esta página. Tenemos como objetivo ofrecer el 100% de precisión y publicamos solo información sobre los formatos de archivo que hemos comprobado.

Sin comentarios