Contenido
- Tipo de archivo 1Verilog archivo de código fuente
- Texto
- ¿Qué es un archivo V?
- Tipo de archivo 2Subampleado imagen YUV sin formato
- Binario
- Asociación de archivos .V 2
- Tipo de archivo Archivo de código fuente 3Coq
- Texto
- Asociación de archivos .V 3
- Acerca de los archivos V
Tipo de archivo 1Verilog archivo de código fuente
¿Qué es un archivo V?
Un archivo con una extensión V puede ser un archivo de código fuente escrito en el lenguaje de descripción de hardware (HDL) de Verilog. Se especifica un modelo de un sistema electrónico. Los archivos V suelen contener el código fuente de Verilog 2005, pero también pueden usar uno de los estándares anteriores de Verilog, como Verilog-95 o Verilog 2001. Más información
Verilog 2005 ha sido reemplazado por SystemVerilog, que se basa en el estándar anterior pero agrega nuevas funciones 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 se pueden abrir en un editor de texto como Notepad ++.
DESCARGA GRATUITA Abra y vea archivos .V con File Viewer Plus. Programas que abren archivos V| Windows |
|
| Mac |
|
| Linux |
|
Tipo de archivo 2Subampleado imagen YUV sin formato
Asociación de archivos .V 2
Archivo de imagen en "V" sin formato creado por ppmtoyuvsplit, un programa basado en Unix que se utiliza para dividir imágenes portátiles de PixMap (archivos .PPM) en archivos .Y, .U y V; almacena el componente de crominancia "V", o color, para la imagen; se puede restaurar de nuevo al archivo PPM original usando la utilidad yuvsplittoppm. Más información
Los archivos V almacenan datos de imágenes en un formato requerido por el códec MPEG de Stanford.
NOTA: Las utilidades de línea de comandos yuvsplittoppm y ppmtoyuvsplit son parte del paquete de gráficos netpbm Unix.
Programas que abren archivos V| Windows |
|
| Mac |
|
| Linux |
|
Tipo de archivo Archivo de código fuente 3Coq
Asociación de archivos .V 3
Archivo de desarrollador utilizado por Coq, una aplicación utilizada para desarrollar pruebas matemáticas; guardado 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); Se utiliza para almacenar pruebas matemáticas. Más información
Los desarrolladores especifican expresiones en archivos V utilizando el "vernáculo" gallina, que es la sintaxis, o lenguaje de comandos, para el idioma gallina. Una vez que se escriben los archivos V, se pueden compilar y ejecutar con el IDE Coq Proof Assistant, que tiene el nombre del programa CoqIDE.
NOTA: El desarrollo para Coq, que antes era mantenido por el Equipo de Desarrollo de Coq, ahora es mantenido por ADT Coq. ADT significa "Acción para el Desarrollo Tecnológico".
Programas que abren archivos V| Windows |
|
| Mac |
|
| Linux |
|
Acerca de los archivos V
Nuestro objetivo es ayudarlo a comprender qué es un archivo con un sufijo * .v y cómo abrirlo.
Todos los tipos de archivos, descripciones de formatos de archivos y programas de software listados en esta página han sido investigados y verificados individualmente por el equipo de FileInfo. Nos esforzamos por lograr el 100% de precisión y solo publicamos información sobre formatos de archivo que hemos probado y validado.
Si desea sugerir alguna adición o actualización a esta página, háganoslo saber.
