Содержание

• Тип файла 1Verilog Исходный код
• Текст
• Что такое V-файл?
• Тип файла 2Subsampled Raw YUV Image
• двоичный
• .V File Association 2
• Тип файла 3Coq Файл с исходным кодом
• Текст
• .V Файловая ассоциация 3
• О V Файлах

Тип файла 1Verilog Исходный код

разработчик	Accellera
популярность	3,6 (25 голосов)
категория	Файлы разработчика
Формат	Текст X Текст Этот файл сохраняется в текстовом формате. Вы можете открыть и просмотреть содержимое этого файла с помощью текстового редактора.

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

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

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

НОТА: Исходные файлы Verilog сохраняются в текстовом формате и могут быть открыты в текстовом редакторе, таком как Notepad ++.

БЕСПЛАТНАЯ ЗАГРУЗКА Открывайте и просматривайте .V файлы с помощью File Viewer Plus. Программы, открывающие файлы V

Windows

File Viewer Plus Notepad ++ Xilinx ISE Design Suite Икар Верилог Verilog 2005 парсер Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme Ментор Графика ModelSim

макинтош

Икар Верилог

Linux

Xilinx ISE Design Suite Verilog 2005 парсер Икар Верилог

Обновлено 27.11.2008

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

разработчик	N / A
популярность	3,3 (9 голосов)
категория	Растровые изображения
Формат	Бинарный Х двоичный Этот файл сохраняется в двоичном формате, который требует определенной программы для чтения его содержимого.

.V File Association 2

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

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

НОТА: Утилиты командной строки yuvsplittoppm и ppmtoyuvsplit являются частью графического пакета netpbm для Unix.

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

Windows

Проигрыватель Microsoft Windows Media с пакетом YUV Genius Проигрыватель Apple QuickTime с кодеком QuickTime YUV

макинтош

Проигрыватель Apple QuickTime с кодеком QuickTime YUV

Linux

yuvsplittoppm ppmtoyuvsplit

Обновлено 26.05.2010

Тип файла 3Coq Файл с исходным кодом

разработчик	ADT Coq
популярность	2,9 (7 голосов)
категория	Файлы разработчика
Формат	Текст X Текст Этот файл сохраняется в текстовом формате. Вы можете открыть и просмотреть содержимое этого файла с помощью текстового редактора.

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

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

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

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

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

Windows

CoqIDE

макинтош

CoqIDE

Linux

CoqIDE

Обновлено 6/6/2010

О V Файлах

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

Все типы файлов, описания форматов файлов и программы, перечисленные на этой странице, были индивидуально исследованы и проверены командой FileInfo. Мы стремимся к 100% точности и публикуем информацию только о тех форматах файлов, которые мы тестировали и проверяли.

Если вы хотите предложить какие-либо дополнения или обновления на этой странице, пожалуйста, сообщите нам об этом.