.V Расширение файла

3 типа файлов используют расширение файла .v .

• 1. Исходный код Verilog
• 2. Subsampled Raw YUV Image
• 3. Исходный код Coq

Тип файла 1 Файл исходного кода Verilog

Что такое V-файл?

Файл с расширением V может быть файлом исходного кода, написанным на языке описания оборудования Verilog.категорияФайлы растровых изображенийФорматБинарный Х

двоичный

Этот файл сохраняется в двоичном формате, который требует определенной программы для чтения его содержимого.

.V File Association 2

Файл изображения «V», созданный ppmtoyuvsplit, Unix-программой, используемой для разделения изображений Portable PixMap.категорияФайлы разработчикаФорматТекст X

Текст

Этот файл сохраняется в текстовом формате. Вы можете открыть и просмотреть содержимое этого файла с помощью текстового редактора.

.V Файловая ассоциация 3

Файл разработчика, используемый Coq, приложением, используемым для разработки математических доказательств; сохраняется в текстовом формате и содержит исходный код, построенный на языке Галлина, который основан на выразительном формальном языке, называемом исчислением индуктивных конструкций (CIC); используется для хранения математических доказательств. Дополнительная информация

Разработчики задают выражения в V-файлах, используя Gallina «родной язык», который является синтаксисом или языком команд для языка Gallina. После записи V-файлов их можно скомпилировать и запустить с помощью IDE Coq Proof Assistant с именем программы CoqIDE.

ПРИМЕЧАНИЕ: Разработка для Coq, которая ранее поддерживалась командой разработчиков Coq, теперь поддерживается ADT Coq. ADT расшифровывается как «Действие по технологическому развитию».

Программы, открывающие файлы V