.v Rozszerzenie pliku
Typ pliku 1Verilog Source Code File
| Twórca | Accellera |
| Kategoria | Pliki deweloperskie |
| Format | Text |
.V opcja № 1
Plik z rozszerzeniem pliku V może być plikiem kodu źródłowego napisanym w języku opisu sprzętu Verilog (HDL). Określa model systemu elektronicznego. Pliki V zwykle zawierają kod źródłowy Verilog 2005, ale mogą również używać jednego ze starszych standardów Verilog, takich jak Verilog-95 lub Verilog 2001.
Verilog 2005 został zastąpiony przez SystemVerilog, który buduje poprzedni standard, ale dodaje nowe funkcje modelowania projektu. Pliki źródłowe SystemVerilog mają rozszerzenie pliku .SV .
UWAGA: Pliki źródłowe Verilog są zapisywane w formacie zwykłego tekstu i można je otwierać w edytorze tekstów, takim jak Notepad ++.
Typ pliku 2Subsampled Raw YUV Image
| Twórca | N/A |
| Kategoria | Pliki obrazów rastrowych |
| Format | Binary |
.V opcja № 2
Surowy plik obrazu "V" utworzony przez ppmtoyuvsplit, oparty na Uniksie program służący do dzielenia przenośnych obrazów PixMap ( .PPM plików) na pliki .Y , .U i V; przechowuje chrominancję "V" lub kolor, komponent obrazu; może zostać przywrócony do oryginalnego pliku PPM za pomocą narzędzia yuvsplittoppm.
Pliki V przechowują dane obrazu w formacie wymaganym przez kodek MPEG Stanford.
UWAGA: Programy narzędziowe wiersza polecenia yuvsplittoppm i ppmtoyuvsplit są częścią pakietu graficznego opartego na uniksie Netpbm.
| Windows |
|
| Linux |
|
Typ pliku 3Coq Source Code File
| Twórca | ADT Coq |
| Kategoria | Pliki deweloperskie |
| Format | Text |
.V opcja № 3
Plik deweloperski używany przez Coq, aplikację używaną do tworzenia matematycznych dowodów; zapisane w formacie tekstowym i zawiera kod źródłowy zbudowany w języku Gallina, który jest oparty na ekspresyjnym języku formalnym o nazwie Rachunek konstrukcji indukcyjnych (CIC); służy do przechowywania dowodów matematycznych.
Twórcy określają wyrażenia w plikach V za pomocą "wernakularnego" języka Gallina, który jest składnią lub językiem poleceń w języku Gallina. Po zapisaniu plików V można je kompilować i uruchamiać za pomocą IDQ Coq Proof Assistant, który ma nazwę CoqIDE.
UWAGA: Opracowanie dla Coq, które było wcześniej utrzymywane przez zespół programistów Coq, jest teraz utrzymywany przez ADT Coq. ADT oznacza "Action for Technological Development."
| Linux |
|