Rozszerzenie pliku .V

3 typy plików używają rozszerzenia pliku .v .

• 1. Plik kodu źródłowego Verilog
• 2. Podpróbkowany surowy obraz YUV
• 3. Plik kodu źródłowego Coq

Typ pliku 1 Plik kodu źródłowego Verilog

Co to jest plik V?

Plik z rozszerzeniem pliku V może być plikiem kodu źródłowego napisanym w języku opisu sprzętu VerilogKategoriaPliki obrazów rastrowychFormatBinarny X

Dwójkowy

Ten plik jest zapisywany w formacie binarnym, który wymaga określonego programu do odczytania jego zawartości.

.V File Association 2

Surowy plik obrazu „V” stworzony przez ppmtoyuvsplit, program oparty na Uniksie służący do dzielenia przenośnych obrazów PixMapKategoriaPliki programistyczneFormatTekst X

Tekst

Ten plik jest zapisywany w formacie zwykłego tekstu. Możesz otworzyć i wyświetlić zawartość tego pliku za pomocą edytora tekstu.

.V File Association 3

Plik programisty używany przez Coq, aplikację służącą do opracowywania dowodów matematycznych; zapisany w formacie tekstowym i zawiera kod źródłowy skonstruowany w języku Gallina, który opiera się na ekspresyjnym języku formalnym zwanym Rachunkiem Konstrukcji Indukcyjnych (CIC); używane do przechowywania dowodów matematycznych. Więcej informacji

Programiści określają wyrażenia w plikach V za pomocą „vernacular” Galliny, który jest składnią lub językiem poleceń języka Gallina. Po zapisaniu plików V można je skompilować i uruchomić za pomocą Coq Proof Assistant IDE, który ma nazwę programu CoqIDE.

UWAGA: Rozwój Coq, który wcześniej był utrzymywany przez The Coq Development Team, jest teraz utrzymywany przez ADT Coq. ADT oznacza „Działanie na rzecz rozwoju technologicznego”.

Programy, które otwierają pliki V