.v Filutvidelse
Filtype 1Verilog Source Code File
| Utvikleren | Accellera |
| Kategori | Developer Files |
| Format | Text |
Hva er en V fil?
En fil med filutvidelsen V kan være en kildekodefil skrevet i Verilog-maskinvarebeskrivelsesspråket (HDL). Det spesifiserer en modell av et elektronisk system. V-filer inneholder vanligvis Verilog 2005-kildekoden, men de kan også bruke en av de eldre Verilog-standardene, for eksempel Verilog-95 eller Verilog 2001.
Verilog 2005 har blitt erstattet av SystemVerilog, som bygger opp forrige standard, men legger til nye designmodelleringsfunksjoner. SystemVerilog-kildefiler har en .SV filtype.
MERK: Verilog-kildefiler lagres i et tekstformat og kan åpnes i et tekstredigeringsprogram som Notepad ++.
Filtype 2Subsampled Raw YUV Image
| Utvikleren | N/A |
| Kategori | Raster Image Files |
| Format | Binary |
.V alternativnummer 2
Rå "V" bildefil opprettet av ppmtoyuvsplit, et Unix-basert program som brukes til å dele Portable PixMap-bilder ( .PPM files) til .Y , .U og V-filer; lagrer "V" krominans, eller farge, komponent for bildet; kan gjenopprettes tilbake til den opprinnelige PPM-filen ved hjelp av yuvsplittoppm-verktøyet.
V-filer lagrer bildedata i et format som kreves av Stanford MPEG-kodeken.
MERK: Yuvsplittoppm og ppmtoyuvsplit kommandolinjeverktøy er en del av netpbm Unix-baserte grafikkpakken.
| Windows |
|
| Linux |
|
Filtype 3Coq Source Code File
| Utvikleren | ADT Coq |
| Kategori | Developer Files |
| Format | Text |
.V alternativnummer 3
Utviklerfil som brukes av Coq, et program som brukes til å utvikle matematiske proofs; lagret i et tekstformat og inneholder kildekoden konstruert i Gallina-språket, som er basert på et uttrykksformelt formelt språk kalt Inductive Constructions Calculus (CIC); brukes til lagring av matematiske bevis.
Utviklere spesifiserer uttrykk i V-filer ved hjelp av Gallina "vernacular", som er syntaksen eller kommandospråket, for Gallina-språket. Når V-filer er skrevet, kan de kompileres og kjøres med Coq Proof Assistant IDE, som har programnavnet CoqIDE.
MERK: Utvikling for Coq, som tidligere ble vedlikeholdt av The Coq Development Team, er nå vedlikeholdt av ADT Coq. ADT står for "Handling for teknologisk utvikling."
| Linux |
|