Формат файла V - описание, как открыть?
Файлы формата V открываются специальными программами. Существует 3 типа форматов V, каждый из которых открывается разными программами. Чтобы открыть нужный тип формата, изучите описания файлов и скачайте одну из предложенных программ.
Чем открыть файл в формате V
- Тип файла:
- Coq Source Code File
- Разработчик:
- ADT Coq
- Категория:
- Разработка ПО
Файл разработки, используемый Coq — приложением, применяемым для разработки математических проверок. Хранится в текстовом формате и содержит исходный код, который строится на языке Gallina, основывающемся на формальном языке, называемом Calculus of Inductive Constructions (CIC).
Разработчики определяют выражения в файлах V при помощи синтаксиса или языка команд Gallina "vernacular". После создания файлов V их можно компилировать и запускать в интегрированной среде разработки Coq Proof Assistant IDE – программе под названием CoqIDE.
Примечание: разработка Coq, управляемая прежде компанией The Coq Development Team, сейчас находится под руководством ADT Coq. ADT расшифровывается как "Action for Technological Development".
Чем открыть файл в формате V (Coq Source Code File)
CoqIDE |
CoqIDE |
CoqIDE |
- Тип файла:
- Verilog Source Code File
- Разработчик:
- Accellera
- Категория:
- Разработка ПО
Файл исходного кода, написанный на языке описания устройства Verilog (HDL). Обычно содержит исходный код Verilog 2005, но может также применять один или несколько стандартов Verilog, включающих в себя Verilog-95, Verilog 2001 и SystemVerilog. Применяется для определения моделей электронных систем.
Чем открыть файл в формате V (Verilog Source Code File)
Cadence Design Systems Incisive | Icarus Verilog | Mentor Graphics ModelSim |
SYNAPTICAD VeriLogger Extreme | Verilog 2005 parser | Xilinx ISE Design Suite |
Xilinx ISE WebPACK |
Verilog 2005 parser | Xilinx ISE Design Suite | Xilinx ISE WebPACK |
- Тип файла:
- Subsampled Raw YUV Image
- Категория:
- Растровые изображения
Необработанный файл изображения "V", создаваемый ppmtoyuvsplit — программой на основе Unix, применяемой для разбивания изображений Portable PixMap (файлы .PPM) на файлы .Y, .U и .V. Хранит хроматические данные "V", цвет или компонент изображения. Может восстанавливаться к исходному файлу PPM с помощью утилиты yuvsplittoppm.
Файлы V хранят данные изображений в формате, запрашиваемом кодеком Stanford MPEG.
Примечание: утилиты командной строки yuvsplittoppm и ppmtoyuvsplit являются частью графического комплекта netpbm, основывающегося на Unix.
Чем открыть файл в формате V (Subsampled Raw YUV Image)
Apple QuickTime Player with QuickTime YUV codec | Microsoft Windows Media Player with YUV Genius package |
Apple QuickTime Player with QuickTime YUV codec |
ppmtoyuvsplit | yuvsplittoppm |