.v Fil
Filtyp 1Verilog Source Code File
| Utvecklare | Accellera |
| Kategori | Utvecklarfiler |
| Format | Text |
Vad är V file?
En fil med en filförlängning kan vara en källkodsfil som skrivs i Verilog-maskinvarubeskrivningsspråket (HDL). Det specificerar en modell av ett elektroniskt system. V-filer innehåller vanligtvis Verilog 2005-källkod, men de kan också använda en av de äldre Verilog-standarderna, till exempel Verilog-95 eller Verilog 2001.
Verilog 2005 har ersatts av SystemVerilog, som bygger upp tidigare standard men lägger till nya designmodelleringsfunktioner. SystemVerilog-källfiler har en .SV filtillägg.
OBS! Verilog-källfiler sparas i ett vanligt textformat och kan öppnas i en textredigerare som Notepad ++.
Filtyp 2Subsampled Raw YUV Image
| Utvecklare | N/A |
| Kategori | Raster bildfiler |
| Format | Binary |
.V alternativnummer 2
Raw "V" bildfil skapad av ppmtoyuvsplit, ett Unix-baserat program som används för att dela Portable PixMap-bilder ( .PPM files) till .Y , .U och V-filer; lagrar "V" -krominansen eller färgkomponenten för bilden; kan återställas tillbaka till den ursprungliga PPM-filen med hjälp av verktyget yuvsplittoppm.
V-filer lagrar bilddata i ett format som krävs av Stanford MPEG-codec.
Obs! Kommandoradsverktygen yuvsplittoppm och ppmtoyuvsplit ingår i Unix-baserade grafikpaketet Netpbm.
| Windows |
|
| Linux |
|
Filtyp 3Coq Source Code File
| Utvecklare | ADT Coq |
| Kategori | Utvecklarfiler |
| Format | Text |
.V alternativnummer 3
Utvecklingsfil som används av Coq, en applikation som används för att utveckla matematiska bevis sparas i ett textformat och innehåller källkod konstruerad i Gallina-språket, som bygger på ett uttryckligt formellt språk som kallas Calculus of Inductive Constructions (CIC); används för lagring av matematiska bevis.
Utvecklare anger uttryck i V-filer med hjälp av Gallina "vernacular", vilket är syntaxen eller kommandotypen för Gallina-språket. När V-filer är skrivna kan de sammanställas och köras med Coq Proof Assistant IDE, som har programnamnet CoqIDE.
OBS! Utveckling för Coq, som tidigare var underhållen av The Coq Development Team, är nu underhållen av ADT Coq. ADT står för "Åtgärd för teknisk utveckling".
| Linux |
|