.V Файлово разширение

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

• 1. Файл с изходен код на Verilog
• 2. Субстратен суров YUV образ
• 3. Файл с изходен код на Coq

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

Какво е V файл?

Файл с разширение V файл може да бъде файл с изходен код, написан на езика за описание на хардуера на VerilogкатегорияФайлове с растерни изображенияформатДвоичен X

двоен

Този файл се записва в двоичен формат, което изисква специална програма за четене на съдържанието му.

.V File Association 2

Суровият "V" графичен файл, създаден от ppmtoyuvsplit, Unix-базирана програма, използвана за разделяне на Portable PixMap изображениякатегорияФайлове на програмистиформатТекст X

Текст

Този файл се запазва в обикновен текстов формат. Можете да отворите и прегледате съдържанието на този файл с текстов редактор.

.V File Association 3

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

Разработчиците определят изрази във V-файлове, използвайки "местния език" на Gallina, който е синтаксисът или езикът на командите за езика Галина. След като V файловете са написани, те могат да бъдат компилирани и стартирани с IDE на Coq Proof Assistant, който има името на програмата CoqIDE.

ЗАБЕЛЕЖКА: Развитието за Coq, което преди това се поддържаше от екипа за развитие на Coq, сега се поддържа от ADT Coq. ADT означава "Действие за технологично развитие".

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