Turinys
- Failo tipas 1Verilog šaltinio kodo failas
- Tekstas
- Kas yra V failas?
- Failo tipas 2Subsampled Raw YUV Image
- Dvejetainis
- .V failų asociacija 2
- Failo tipas 3Coq šaltinio kodo failas
- Tekstas
- .V failų asociacija 3
- Apie „V“ failus
Failo tipas 1Verilog šaltinio kodo failas
Kas yra V failas?
Failas su V failo plėtiniu gali būti pirminio kodo failas, parašytas Verilog aparatūros aprašo kalba (HDL). Jis nurodo elektroninės sistemos modelį. V failuose paprastai yra Verilog 2005 šaltinio kodas, tačiau jie taip pat gali naudoti vieną iš senesnių Verilog standartų, pvz., Verilog-95 arba Verilog 2001. Daugiau informacijos
„Verilog 2005“ pakeitė „SystemVerilog“, kuri remiasi ankstesniu standartu, tačiau papildo naujas dizaino modeliavimo funkcijas. SystemVerilog šaltinio failai turi .SV failo plėtinį.
PASTABA: Verilog šaltinio failai išsaugomi paprasto teksto formatu ir gali būti atidaryti teksto redaktoriuje, pvz., „Notepad ++“.
NEMOKAMAI LEIDIMAI Atidarykite ir peržiūrėkite .V failus su „File Viewer Plus“. Programos, atidarančios V failus„Windows“ |
|
„Mac“ |
|
Linux |
|
Failo tipas 2Subsampled Raw YUV Image
.V failų asociacija 2
Neapdorotas „V“ vaizdo failas, sukurtas „ppmtoyuvsplit“, „Unix“ pagrindu sukurta programa, naudojama perkelti „Portable PixMap“ vaizdus (.PPM failus) į .Y, .U ir V failus; išsaugo „V“ chromansą arba spalvą komponentui; gali būti atkurtas atgal į pradinį PPM failą naudojant yuvsplittoppm įrankį. Daugiau informacijos
V failai saugo vaizdo duomenis formatu, kurio reikalauja „Stanford“ MPEG kodekas.
PASTABA: „Yuvsplittoppm“ ir „ppmtoyuvsplit“ komandų eilutės komunalinės paslaugos yra „netpbm Unix“ grafikos paketo dalis.
Programos, atidarančios V failus„Windows“ |
|
„Mac“ |
|
Linux |
|
Failo tipas 3Coq šaltinio kodo failas
.V failų asociacija 3
„Coq“ sukurtas kūrėjo failas - programa, naudojama matematiniams įrodymams kurti; išsaugotas teksto formatu ir jame yra „Gallina“ kalba sukurtas pradinis kodas, pagrįstas ekspresyvia oficialiąja kalba, vadinama „Indukcinių konstrukcijų skaičiuokle“ (CIC); naudojami matematiniams įrodymams saugoti. Daugiau informacijos
Kūrėjai nurodo V failų išraiškas naudodamiesi Gallina „vernacular“, kuris yra Gallina kalbos sintaksė arba komandų kalba. Kai V failai yra parašyti, jie gali būti sukompiliuoti ir paleisti „Coq Proof Assistant IDE“, kuris turi programos pavadinimą CoqIDE.
PASTABA: „Coq“ plėtra, kurią anksčiau palaikė „Coq Development Team“, dabar yra ADT Coq. ADT reiškia „Veiksmai technologinei plėtrai“.
Programos, atidarančios V failus„Windows“ |
|
„Mac“ |
|
Linux |
|
Apie „V“ failus
Mūsų tikslas - padėti jums suprasti, ką failas su * .v sufiksu ir kaip jį atidaryti.
Visus šiame puslapyje išvardytus failų tipus, failų formato aprašymus ir programinę įrangą FileInfo komanda individualiai ištyrė ir patikrino. Mes siekiame 100% tikslumo ir skelbiame informaciją tik apie išbandytus ir patvirtintus failų formatus.
Jei norite pasiūlyti šio puslapio papildymus ar atnaujinimus, praneškite mums.