.V Prípona súboru

3 typy súborov používajú príponu .v .

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

File Type 1 Verilog Zdrojový kód súboru

Čo je súbor V?

Súbor s príponou V môže byť zdrojovým kódom napísaným v jazyku opisu hardvéru VerilogkategórieRastrové obrazové súboryformátBinárne X

dvojitý

Tento súbor je uložený v binárnom formáte, ktorý vyžaduje, aby si jeho obsah prečítal konkrétny program.

.V asociácia súborov 2

Neupravený obrazový súbor „V“ vytvorený aplikáciou ppmtoyuvsplit, program na báze Unixu, ktorý sa používa na rozdelenie obrázkov Portable PixMapkategórieSúbory vývojárovformátText X

text

Tento súbor sa uloží vo formáte obyčajného textu. Obsah tohto súboru môžete otvoriť a zobraziť pomocou textového editora.

.V asociácia súborov 3

Vývojársky súbor, ktorý používa Coq, aplikácia používaná na vývoj matematických dôkazov; uložený v textovom formáte a obsahuje zdrojový kód vytvorený v jazyku Gallina, ktorý je založený na expresívnom formálnom jazyku nazývanom Calcul of Inductive Constructions (CIC); slúži na ukladanie matematických dôkazov. Viac informácií

Vývojári špecifikujú výrazy vo V súboroch pomocou Gallina "vernacular", čo je syntax alebo jazyk príkazov pre jazyk Gallina. Akonáhle sú V súbory napísané, môžu byť skompilované a spustené pomocou Coq Proof Assistant IDE, ktorý má názov programu CoqIDE.

POZNÁMKA: Vývoj pre Coq, ktorý predtým spravoval vývojový tím Coq, teraz spravuje ADT Coq. ADT je ​​skratka „Akcia pre technologický rozvoj“.

Programy, ktoré otvárajú súbory V