Vigtigste : Filudvidelser : .v Fil

.v Filudvidelse

Filtype1Verilog Source Code File

Udvikler Accellera
Kategori Developer Files
Format Text

Hvad er V fil?

En fil med en V-filudvidelse kan være en kildekode-fil skrevet i Verilog-hardwarebeskrivelsessproget (HDL). Den specificerer en model af et elektronisk system. V-filer indeholder typisk Verilog 2005-kildekode, men de kan også bruge en af de ældre Verilog-standarder, f.eks. Verilog-95 eller Verilog 2001.

Flere oplysninger

Verilog 2005 er blevet afløst af SystemVerilog, som bygger på den tidligere standard, men tilføjer nye designmodelleringsfunktioner. SystemVerilog-kildefiler har filtypenavnet .SV.SV.

BEMÆRK: Verilog-kildefiler gemmes i et almindeligt tekstformat og kan åbnes i en teksteditor som f.eks. Notepad++.

Programmer, der åbnes V Filer

Filtype2Subsampled Raw YUV Image

Udvikler N/A
Kategori Raster Image Files
Format Binary

.V option nummer 2

One of three files from a split .PPM file; others are .U and .V files; YUV representation is used by the Stanford MPEG codec.

Programmer, der åbnes V Filer
Windows
Microsoft Windows Media Player
Linux
ppmtoyuvsplit
yuvsplittoppm

Filtype3Coq Source Code File

Udvikler ADT Coq
Kategori Developer Files
Format Text

.V option nummer 3

Udviklingsfil, der anvendes af Coq, et program, der anvendes til at udvikle matematiske beviser; gemt i et tekstformat og indeholder kildekode konstrueret i Gallina-sproget, som er baseret på et udtryksfuldt formelt sprog kaldet Calculus of Inductive Constructions (CIC); anvendes til lagring af matematiske beviser.

Flere oplysninger

Udviklerne specificerer udtryk i V-filer ved hjælp af Gallina-"sprogsproget", som er syntaksen, eller kommandosproget, for Gallina-sproget. Når V-filerne er skrevet, kan de kompileres og køres med Coq Proof Assistant IDE, som har programnavnet CoqIDE.

NOTE: Udvikling til Coq, som tidligere blev vedligeholdt af The Coq Development Team, vedligeholdes nu af ADT Coq. ADT står for "Action for Technological Development".

Programmer, der åbnes V Filer
Linux
CoqIDE

Om V Filer

Vores mål er at hjælpe dig med at forstå, hvad filen med udvidelsen *.v er ansvarlig for og hvordan man åbner den.

Filtype Coq Source Code File, beskrivelser af programmer til Mac, Windows, Linux, Android og iOS, der er angivet på denne side, blev individuelt undersøgt og verificeret af FileExt-kommandoen. Vi stræber efter 100% nøjagtighed og offentliggør kun oplysninger om de filformater, som vi testede og testede.