.V Rozszerzenie pliku
Plik z kodem źródłowym Verilog
| Deweloper | Accellera |
| Popularność |
3,7 | 51 Głosów |
Czym jest plik V?
Plik z rozszerzeniem V może być plikiem kodu źródłowego napisanym w języku opisu sprzętu Verilog (HDL). Określa on model systemu elektronicznego. Pliki V zazwyczaj zawierają kod źródłowy Verilog 2005, ale mogą również korzystać z jednej ze starszych wersji standardu Verilog, takich jak Verilog-95 lub Verilog 2001.
Więcej informacji
Verilog 2005 został zastąpiony przez SystemVerilog, który bazuje na poprzednim standardzie, ale dodaje nowe funkcje modelowania projektów. Pliki źródłowe SystemVerilog mają rozszerzenie .SV.
UWAGA: Pliki źródłowe Verilog są zapisywane w formacie zwykłego tekstu i można je otwierać w edytorze tekstu, takim jak Notepad++.
Programy otwierające lub odwołujące się do plików V
Plik z kodem źródłowym Coq
| Deweloper | ADT Coq |
| Popularność |
3,6 | 12 Głosów |
Plik deweloperski używany przez Coq, aplikację służącą do tworzenia dowodów matematycznych; zapisany w formacie tekstowym i zawierający kod źródłowy skonstruowany w języku Gallina, który opiera się na ekspresywnym języku formalnym zwanym Calculus of Inductive Constructions (CIC); używany do przechowywania dowodów matematycznych.
Więcej informacji
Programiści określają wyrażenia w plikach V za pomocą „języka werbalnego” Gallina, czyli składni lub języka poleceń języka Gallina. Po napisaniu pliki V można kompilować i uruchamiać za pomocą zintegrowanego środowiska programistycznego Coq Proof Assistant, którego program nosi nazwę CoqIDE.
UWAGA: Programowanie dla Coq, które wcześniej było prowadzone przez The Coq Development Team, jest obecnie prowadzone przez ADT Coq. ADT to skrót od „Action for Technological Development”.
Programy otwierające lub odwołujące się do plików V
Plik kodu źródłowego V
| Deweloper | Alex Medvednikov |
| Popularność |
4,0 | 7 Głosów |
Plik V zawiera kod źródłowy napisany w języku programowania V. Zazwyczaj plik V zawiera program lub moduł V.
Więcej informacji
V to statycznie typowany, kompilowany język programowania opracowany przez Alexa Medvednikova. Jest podobny do języka programowania Go firmy Google, ale czerpie również z języków Oberon, Rust i Swift. Według Medvednikova język V został zaprojektowany tak, aby był prosty, czytelny i łatwy w utrzymaniu.
Programiści zapisują programy V i inny kod źródłowy V w plikach V. Pliki V zawierające moduł programu mogą być używane w jednym lub większej liczbie innych plików V w celu zaimportowania tego modułu.
Jak otworzyć plik V
Plik V można otworzyć i edytować za pomocą dowolnego edytora tekstu lub kodu źródłowego. Edytory kodu źródłowego, takie jak Microsoft Visual Studio Code i GitHub Atom, zawierają przydatne narzędzia, które ułatwiają odczytywanie i edytowanie plików V.
Jeśli plik V zawiera program, można go uruchomić za pomocą polecenia run języka V.
Programy otwierające pliki V
Podpróbkowany surowy obraz YUV
| Deweloper | Brak danych |
| Popularność |
3,2 | 10 Głosów |
Surowy plik obrazu „V” utworzony przez program ppmtoyuvsplit, program uniksowy używany do dzielenia obrazów Portable PixMap (plików .PPM) na pliki .Y, .U i V; przechowuje składową chrominancji, czyli koloru, „V” obrazu; można go przywrócić do oryginalnego pliku PPM za pomocą narzędzia yuvsplittoppm.
Więcej informacji
Pliki V przechowują dane obrazu w formacie wymaganym przez kodek MPEG firmy Stanford.
UWAGA: Narzędzia wiersza poleceń yuvsplittoppm i ppmtoyuvsplit są częścią uniksowego pakietu graficznego netpbm.
