.V Tiedostotunniste

3 tiedostotyyppiä käytetään .v- tiedostotunnisteeseen.

• 1. Verilog-lähdekooditiedosto
• 2. Subampled Raw YUV -kuva
• 3. Coq-lähdekooditiedosto

Tiedostotyyppi 1 Verilog-lähdekooditiedosto

Mikä on V-tiedosto?

Tiedosto, jossa on V-tiedostotunniste, voi olla lähdekooditiedosto, joka on kirjoitettu Verilog-laitteiston kuvauskielelleKategoriaRasterikuvatiedostotMuotoBinary X

Binääri

Tämä tiedosto tallennetaan binaarimuodossa, joka edellyttää tietyn ohjelman lukemista.

.V Tiedostoyhdistys 2

Ppmtoyuvsplitin luoma "V" -kuvamateriaali, Unix-pohjainen ohjelma, jota käytetään siirrettävien PixMap-kuvien jakamiseenKategoriaKehittäjän tiedostotMuotoTeksti X

Teksti

Tämä tiedosto tallennetaan tekstimuodossa. Voit avata ja tarkastella tämän tiedoston sisältöä tekstieditorilla.

.V Tiedostoyhdistys 3

Coqin käyttämä kehittäjätiedosto, sovellus, jota käytetään matemaattisten todisteiden kehittämiseen; tallennetaan tekstimuodossa ja sisältää Gallina-kieleen rakennetun lähdekoodin, joka perustuu ilmaisevaan muodolliseen kieleen, jota kutsutaan induktiivisten rakenteiden Calculukseksi (CIC); käytetään matemaattisten todisteiden tallentamiseen. Lisää tietoa

Kehittäjät määrittävät V-tiedostoissa ilmaisuja Gallina-"kansankielellä", joka on Gallinan kielen syntaksi tai komentojen kieli. Kun V-tiedostot on kirjoitettu, ne voidaan koota ja käyttää Coq Proof Assistant IDE: llä, jolla on ohjelman nimi CoqIDE.

HUOMAUTUS: Coqin kehitystyötä, jota aiemmin ylläpitää Coq Development Team, ylläpitää nyt ADT Coq. ADT tarkoittaa "Teknologisen kehityksen toimintaa".

V-tiedostoja avaavat ohjelmat