.V Tiedostopääte

Tiedosto, jolla on V-tiedostotunniste, voi olla lähdekoodi tiedosto, joka on kirjoitettu Verilog-laitteiston kuvauskielellä (HDL). Siinä määritetään sähköisen järjestelmän malli. V-tiedostot sisältävät tyypillisesti Verilog 2005-lähdekoodin, mutta ne voivat käyttää myös yhtä vanhemmista Verilog-standardeista, kuten Verilog-95 tai Verilog 2001.

Verilog 2005 on korvattu SystemVerilogilla, joka rakentaa edellisen standardin, mutta lisää uusia mallinnusominaisuuksia. SystemVerilog-lähdetiedostoissa on .SV tiedostopääte.

HUOMAUTUS: Verilog-lähdetiedostot tallennetaan pelkkänä tekstimuodossa ja ne voidaan avata tekstieditorissa, kuten Notepad ++.

Raaka V-kuvatiedosto, jonka on luonut ppmtoyuvsplit, Unix-pohjainen ohjelma, jota käytetään kannettavien PixMap-kuvien jakamiseen (PPM tiedostot) .Y, .Uja V-tiedostot; tallentaa kuvan "V" -krominanssin tai värikomponentin; voidaan palauttaa takaisin alkuperäiseen PPM-tiedostoon yuvsplittoppm-apuohjelman avulla.

V-tiedostot tallentavat kuvatiedot Stanfordin MPEG-koodekin edellyttämässä muodossa.

HUOMAUTUS: Yuvsplittoppm ja ppmtoyuvsplit komentorivin apuohjelmat ovat osa netpbm Unix-pohjaista grafiikkapakettia.

Coq: n käyttämä kehitystiedosto, sovellus, jota käytetään matemaattisten todisteiden kehittämiseen; tallennetaan tekstimuodossa ja sisältää Gallina-kielellä rakennetun lähdekoodin, joka perustuu ilmeikkään muodolliseen kieleen, jota kutsutaan induktiivisten rakenteiden laskennaksi (CIC); käytetään matemaattisten todisteiden tallentamiseen.

Kehittäjät määrittelevät lausekkeet V-tiedostoissa käyttämällä Gallinan "kansankielistä", joka on Gallinan kielen syntaksi tai komentojen kieli. Kun V-tiedostot on kirjoitettu, ne voidaan kääntää ja suorittaa Coq Proof Assistant -sovelluksella IDE, jolla on ohjelman nimi CoqIDE.

HUOMAUTUS: Coqin kehitystyötä, jota aiemmin hoiti Coq Development Team, ylläpitää nyt ADT Coq. ADT on lyhenne sanoista "Action for Technology Development".