.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 ++.
| Windows |
|
| Linux |
|
Тип файла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.
| Windows |
|
| Linux |
|
Тип файла3Coq Source Code File
| Разработчик | ADT Coq |
| Категория | Файлы разработчиков |
| Формат | Text |
.V вариант № 3
Файл разработчика, используемый Coq, приложение, используемое для разработки математических доказательств; сохраненный в текстовом формате и содержащий исходный код, построенный на языке Галлины, который основан на выразительном формальном языке, называемом «Исчисление индуктивных конструкций» (CIC); используется для хранения математических доказательств.
Разработчики задают выражения в V-файлах, используя галлину «народный», который является синтаксисом или языком команд для языка Галлины. После того, как будут записаны файлы V, их можно скомпилировать и запустить с помощью программы Coq Proof Assistant IDE, которая имеет имя программы CoqIDE.
ПРИМЕЧАНИЕ. Разработка для Coq, которая ранее поддерживалась командой разработчиков Coq, теперь поддерживается ADT Coq. ADT означает «Действие для технологического развития».
| Linux |
|