.V přípona souboru

3 typy souborů používají příponu souboru .v .

• 1. Verilog Zdrojový kód souboru
• 2. Subshled Raw YUV Image
• 3. Coq zdrojový kód souboru

File Type 1 Verilog Zdrojový kód souboru

Co je soubor V?

Soubor s příponou V může být zdrojovým kódem napsaným v jazyce popisu VerilogKategorieRastrové obrazové souboryFormátBinární X

Binární

Tento soubor je uložen v binárním formátu, který vyžaduje přečtení jeho obsahu.

.V soubor asociace 2

Surový soubor s obrazem "V" vytvořený programem ppmtoyuvsplit, program založený na Unixu, který slouží k rozdělení obrázků Portable PixMapKategorieSoubory vývojářůFormátText X

Text

Tento soubor je uložen ve formátu prostého textu. Obsah tohoto souboru můžete otevřít a zobrazit pomocí textového editoru.

.V soubor asociace 3

Vývojářský soubor používaný společností Coq, aplikací používanou k vývoji matematických důkazů; uloženy v textovém formátu a obsahují zdrojový kód vytvořený v jazyce Gallina, který je založen na expresivním formálním jazyce zvaném Calcul of Inductive Constructions (CIC); slouží k ukládání matematických důkazů. Více informací

Vývojáři specifikují výrazy ve V souborech pomocí Gallina "vernacular", což je syntaxe nebo jazyk příkazů pro jazyk Gallina. Jakmile jsou soubory V zapsány, mohou být zkompilovány a spuštěny pomocí IDE Coq Proof Assistant, který má název programu CoqIDE.

Poznámka: Vývoj pro Coq, který byl dříve udržován týmem Coq Development, je nyní spravován ADT Coq. ADT je ​​zkratka „Akce pro technologický rozvoj“.

Programy, které otevírají soubory V