Avaleht : File Types : V fail

.V Faililaiend

Failitüüp 1Verilogi lähtekoodi fail

arendajaAccellera
Populaarsus
3.6 (26 Hääli)
KategooriaArendaja failid
vormingtekst

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.

Lisateave

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 ++.

V-faile avavad programmid
Uuendatud 11 / 27 / 2018

Failitüüp 2Alamvalimiga toores YUV-pilt

arendajaN / A
Populaarsus
3.2 (10 Hääli)
KategooriaRasterpildifailid
vormingBinaarne

.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.

Lisateave

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.

V-faile avavad programmid
Uuendatud 5 / 26 / 2010

Failitüüp 3Coq lähtekoodi fail

arendajaADT Coq
Populaarsus
3.1 (9 Hääli)
KategooriaArendaja failid
vormingtekst

.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.

Lisateave

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".

V-faile avavad programmid
Windows
CoqIDE
moon
CoqIDE
Linux
CoqIDE
Uuendatud 12 / 6 / 2010

V-failide kohta

Meie eesmärk on aidata teil mõista, mis on * .v sufiksiga fail ja kuidas seda avada.

Kõiki sellel lehel loetletud failitüüpe, failivormingute kirjeldusi ja tarkvaraprogramme on Faili meeskond eraldi uurinud ja kontrollinud. Püüame saavutada 100% täpsust ja avaldame teavet ainult meie testitud ja kinnitatud failivormingute kohta.