.V Faililaiend
Failitüüp 1Verilogi lähtekoodi fail
arendaja | Accellera |
Populaarsus |
|
Kategooria | Arendaja failid |
vorming | tekst |
Mis on V-fail?
V-faililaiendiga fail võib olla a lähtekoodi fail, mis on kirjutatud Verilogi riistvara kirjelduskeeles (HDL). See täpsustab elektroonilise süsteemi mudeli. V-failid sisaldavad tavaliselt Verilog 2005 lähtekoodi, kuid võivad kasutada ka üht vanemat Verilogi standardit, näiteks Verilog-95 või Verilog 2001.
Verilog 2005 on asendatud SystemVerilogiga, mis tugineb eelmisele standardile, kuid lisab uusi disainimudeli funktsioone. SystemVerilogi lähtefailidel on .SV faililaiend.
MÄRKUS: Verilogi lähtefailid salvestatakse lihttekstivormingus ja neid saab avada tekstiredaktoris, näiteks Notepad ++.
Windows |
|
moon |
|
Linux |
|
Failitüüp 2Alamvalimiga toores YUV-pilt
arendaja | N / A |
Populaarsus |
|
Kategooria | Rasterpildifailid |
vorming | Binaarne |
.V-failide ühendus 2
Toores "V" pildifail, mille on loonud Unix-põhine programm ppmtoyuvsplit, mida kasutatakse kaasaskantavate PixMapi piltide jagamiseks (.PPM failid) .Y, .Uja V-failid; salvestab pildi värvikomponendi "V"; võib taastada algse PPM-faili abil, kasutades utiliiti yuvsplittoppm.
V-failid salvestavad pildiandmeid vormingus, mida nõuab Stanfordi MPEG-koodek.
MÄRKUS: Käsurea utiliidid yuvsplittoppm ja ppmtoyuvsplit on osa netpbm Unix-põhisest graafikapaketist.
Windows |
|
moon |
|
Linux |
|
Failitüüp 3Coq lähtekoodi fail
arendaja | ADT Coq |
Populaarsus |
|
Kategooria | Arendaja failid |
vorming | tekst |
.V-failide ühendus 3
Arendefail, mida kasutab matemaatiliste tõestuste väljatöötamiseks rakendus Coq; salvestatud tekstivormingus ja sisaldab Gallina keeles konstrueeritud lähtekoodi, mis põhineb väljendusrikkal ametlikul keelel nimega Induktiivkonstruktsioonide arvutus (CIC); kasutatakse matemaatiliste tõestuste salvestamiseks.
Arendajad määravad V-failides avaldised, kasutades Gallina "rahvakeelt", mis on Gallina keele süntaks või käskude keel. Kui V-failid on kirjutatud, saab neid Coq Proof Assistanti abil kompileerida ja käivitada IDE, millel on programmi nimi CoqIDE.
MÄRKUS: Coqi arendust, mida varem haldas Coqi arendusmeeskond, haldab nüüd ADT Coq. ADT tähistab "Tehnoloogilise arengu meedet".