Главная : Расширения файлов : .v File

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

Тип файла1Verilog Source Code File

Разработчик Accellera
Категория Файлы разработчиков
Формат Text

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

Файл с расширением V-файла может быть файлом исходного кода, записанным на языке описания аппаратного обеспечения Verilog (HDL). Он определяет модель электронной системы. V-файлы обычно содержат исходный код Verilog 2005, но они также могут использовать один из старых стандартов Verilog, например Verilog-95 или Verilog 2001.

Больше информации

Verilog 2005 был заменен SystemVerilog, который строит предыдущий стандарт, но добавляет новые функции моделирования дизайна. Исходные файлы SystemVerilog имеют расширение .SV .

ПРИМЕЧАНИЕ. Исходные файлы Verilog сохраняются в текстовом формате и могут быть открыты в текстовом редакторе, таком как Notepad ++.

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

Тип файла2Subsampled Raw YUV Image

Разработчик N/A
Категория Растровые файлы изображений
Формат Binary

.V вариант № 2

Файл изображения Raw «V», созданный ppmtoyuvsplit, программой на основе Unix, используемой для разделения изображений Portable PixMap ( .PPM файлов) на файлы .Y , .U и V; сохраняет цветность «V» или цвет, компонент для изображения; может быть восстановлен обратно в исходный файл PPM с помощью утилиты yuvsplittoppm.

Больше информации

V файлы хранят данные изображения в формате, требуемом кодеком Stanford MPEG.

ПРИМЕЧАНИЕ. Утилиты командной строки yuvsplittoppm и ppmtoyuvsplit являются частью графического пакета, основанного на Unix-интерфейсе netpbm.

Программы, которые открывают V файлы
Windows
Microsoft Windows Media Player
Linux
ppmtoyuvsplit
yuvsplittoppm

Тип файла3Coq Source Code File

Разработчик ADT Coq
Категория Файлы разработчиков
Формат Text

.V вариант № 3

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

Больше информации

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

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

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

О V файлах

Наша цель - помочь вам понять за что отвечает файл с расширением * .v и как его открыть.

Тип файла Coq Source Code File, описания программ для Mac, Windows, Linux, Android и iOS, перечисленные на этой странице, были индивидуально исследованы и проверены командой FileExt. Мы стремимся к 100-процентной точности и публикуем только информацию о форматах файлов, которые мы тестировали и проверяли.