.v Filtillägg
Filtyp 1Verilog källkodsfil
| Utvecklaren | Accelerera |
| Kategori | Utvecklarfiler |
| bildad | text |
Vad är en V-fil?
En fil med filändelsen V kan vara en källkodsfil skriven i Verilog Hardware Description Language (HDL). Den specificerar en modell av ett elektroniskt system. V-filer innehåller vanligtvis Verilog 2005-källkoden, men de kan också använda en av de äldre Verilog-standarderna, såsom Verilog-95 eller Verilog 2001.
Verilog 2005 har ersatts av SystemVerilog, som bygger på den tidigare standarden men lägger till nya designmodelleringsfunktioner. SystemVerilog-källfilerna har en .SV filtyp.
OBS: Verilog-källfiler sparas i ett textformat och kan öppnas i en textredigerare som Notepad++.
Filtyp 2Subsamplad rå YUV-bild
| Utvecklaren | N / A |
| Kategori | Raster bildfiler |
| bildad | Binary |
.V alternativ nummer 2
V-filer lagrar bilddata i ett format som krävs av Stanford MPEG-codec.
OBS: Kommandoradsverktygen yuvsplittoppm och ppmtoyuvsplit är en del av det netpbm Unix-baserade grafikpaketet.
| Windows |
|
| Linux |
|
Filtyp 3Coq källkodsfil
| Utvecklaren | ADT Coq |
| Kategori | Utvecklarfiler |
| bildad | text |
.V alternativ nummer 3
Utvecklarfil som används av Coq, ett program som används för att utveckla matematiska bevis; lagras i ett textformat och som innehåller källkoden konstruerad på Gallina-språket, som är baserat på ett uttrycksfullt formellt språk som kallas Inductive Constructions Calculus (CIC); används för att lagra matematiska bevis.
Utvecklare specificerar uttryck i V-filer med Gallina "vernacular", som är syntaxen, eller kommandospråket, för Gallina-språket. När V-filer är skrivna kan de kompileras och köras med Coq Proof Assistant IDE, vars programnamn är CoqIDE.
OBS: Utveckling för Coq, som tidigare underhållits av Coq Development Team, underhålls nu av ADT Coq. ADT står för "Action for Technological Development".
| Linux |
|