Extensión de archivo .V

3 tipos de archivos utilizan la extensión de archivo .v

• 1. Archivo de código fuente de Verilog
• 2. Imagen de YUV sin procesar en submuestreo
• 3. Archivo de código fuente Coq

Archivo de código fuente Verilog tipo 1

¿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 VerilogCategoríaArchivos de imagen rasterFormatoBinario x

Binario

Este archivo se guarda en un formato binario, que requiere un programa específico para leer su contenido.

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 PixMapCategoríaArchivos de desarrolladorFormatoTexto x

Texto

Este archivo se guarda en formato de texto plano. Puede abrir y ver el contenido de este archivo utilizando un editor de texto.

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