.V Faili laiendamine

3 failitüüpi kasutavad .v- faili laiendit.

• 1. Verilogi lähtekoodi fail
• 2. Subampled Raw YUV pilt
• 3. Coq lähtekoodi fail

Failitüüp 1 Verilogi lähtekoodi fail

Mis on V-fail?

V-faililaiendiga fail võib olla Verilogi riistvara kirjelduse keeles kirjutatud lähtekoodi failKategooriaRaster pildifailidVormingBinaarne X

Binaarne

See fail salvestatakse binaarformaadis, mis nõuab selle sisu lugemiseks spetsiaalset programmi.

.V Faili ühendus 2

Püsiv "V" pildifail, mille on loonud ppmtoyuvsplit, Unixil põhinev programm, mida kasutatakse portatiivsete PixMap piltide jagamiseksKategooriaArendajafailidVormingTekst X

Tekst

See fail salvestatakse lihttekstina. Selle faili sisu saate avada ja vaadata tekstiredaktori abil.

.V Faili ühendus 3

Coqi poolt kasutatav arendajafail, matemaatiliste tõendite väljatöötamiseks kasutatav rakendus; salvestatakse tekstivormingus ja sisaldab algkoodi, mis on konstrueeritud Gallina keelde ja mis põhineb väljendusrikkal ametlikul keelel, mida nimetatakse Induktiivsete konstruktsioonide Calculus (CIC); kasutatakse matemaatiliste tõendite salvestamiseks. Rohkem informatsiooni

Arendajad täpsustavad V-failides väljendeid Gallina "rahvakeelse" abil, mis on Gallina keele süntaks või käskude keel. Kui V-failid on kirjutatud, saab neid kompileerida ja käivitada Coq Proof Assistant IDE-ga, millel on programmi nimi CoqIDE.

MÄRKUS: Coqi arendustööd, mida varem säilitas Coq arendusmeeskond, haldab nüüd ADT Coq. ADT tähistab tehnoloogilise arengu tegevust.

V-faile avavad programmid