.V Розширення файлу

Три типи файлів використовують розширення .v .

• 1. Файл вихідного коду Verilog
• 2. Зображення з підсвіченим сировиною YUV
• 3. Файл вихідного коду Coq

Тип файлу 1 Файл вихідного коду Verilog

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

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

Двійковий

Цей файл зберігається у двійковому форматі, для чого потрібно читати його вміст.

.V Асоціація файлів 2

Файл зображення "V", створений за допомогою ppmtoyuvsplit, програма на основі Unix, яка використовується для розділення зображень на портативних PixMapКатегоріяФайли розробниківФорматТекст X

Текст

Цей файл зберігається у форматі звичайного тексту. Ви можете відкрити та переглянути вміст цього файлу за допомогою текстового редактора.

.V Асоціація файлів 3

Файл розробника, який використовується Coq, додаток, що використовується для розробки математичних доказів; збережені в текстовому форматі і містять вихідний код, побудований на мові Галліна, який базується на виразній формальній мові під назвою Обчислення індуктивних конструкцій (CIC); використовується для зберігання математичних доказів. Більше інформації

Розробники визначають вирази у V-файлах, використовуючи "народну мову" Gallina, яка є синтаксисом або мовою команд для мови Gallina. Після того, як V-файли записані, їх можна компілювати і запускати за допомогою IDE Coq Proof Assistant, який має ім'я програми Coqide.

ПРИМІТКА: Розробка для Coq, яка раніше підтримувалася командою розвитку Coq, тепер підтримується ADT Coq. ADT означає "Акція для технологічного розвитку".

Програми, що відкривають V-файли