NEE : SV : NL .v-bestand

.v Bestandsextensie

Bestandstype 1Verilog-broncodebestand

De ontwikkelaar Versnellen
Categorie Ontwikkelaarsbestanden
Formaat Tekst

Wat is een V-bestand?

Een bestand met de V-bestandsextensie kan een broncodebestand zijn dat is geschreven in de Verilog Hardware Definition Language (HDL). Het specificeert een model van een elektronisch systeem. V-bestanden bevatten meestal de broncode van Verilog 2005, maar ze kunnen ook een van de oudere Verilog-standaarden gebruiken, zoals Verilog-95 of Verilog 2001.

Meer informatie

Verilog 2005 is vervangen door SystemVerilog, dat voortbouwt op de vorige standaard, maar nieuwe ontwerpmodelleringsfuncties toevoegt. SystemVerilog-bronbestanden hebben een .SV bestandstype.

OPMERKING: Verilog-bronbestanden worden opgeslagen in een tekstindeling en kunnen worden geopend in een teksteditor zoals Notepad++.

Programma's die V-bestanden openen

Bestandstype 2Subsampled onbewerkt YUV-beeld

De ontwikkelaar NB
Categorie Rasterafbeeldingsbestanden
Formaat binair

.V alternatief nummer 2

Raw "V" -afbeeldingsbestand gemaakt door ppmtoyuvsplit, een op Unix gebaseerd programma dat wordt gebruikt om Portable PixMap-afbeeldingen te splitsen ( .PPM bestanden) naar .Y , .U en V-bestanden; slaat de "V"-chrominantie- of kleurcomponent van de afbeelding op; kan worden teruggezet naar het originele PPM-bestand met behulp van het hulpprogramma yuvsplittoppm.

Meer informatie

V-bestanden slaan afbeeldingsgegevens op in een formaat dat vereist is door de Stanford MPEG-codec.

OPMERKING: De opdrachtregelprogramma's yuvsplittoppm en ppmtoyuvsplit maken deel uit van het netpbm Unix-gebaseerde grafische pakket.

Programma's die V-bestanden openen
Dakramen en raamkozijnen
Microsoft Windows Media Player
Linux
yuvsplittoppm
ppmtoyuvsplit

Bestandstype 3Coq-broncodebestand

De ontwikkelaar ADT Coq
Categorie Ontwikkelaarsbestanden
Formaat Tekst

.V alternatief nummer 3

Ontwikkelaarsbestand gebruikt door Coq, een programma dat wordt gebruikt om wiskundige bewijzen te ontwikkelen; opgeslagen in een tekstformaat en met de broncode geconstrueerd in de Gallina-taal, die is gebaseerd op een expressieve formele taal genaamd Inductieve Constructies Calculus (CIC); gebruikt voor het opslaan van wiskundige bewijzen.

Meer informatie

Ontwikkelaars specificeren uitdrukkingen in V-bestanden met behulp van de Gallina "volkstaal", de syntaxis of opdrachttaal van de Gallina-taal. Zodra V-bestanden zijn geschreven, kunnen ze worden gecompileerd en uitgevoerd met de Coq Proof Assistant IDE, waarvan de programmanaam CoqIDE is.

OPMERKING: De ontwikkeling voor Coq, die voorheen werd onderhouden door het Coq Development Team, wordt nu onderhouden door ADT Coq. ADT staat voor ‘Actie voor Technologische Ontwikkeling’.

Programma's die V-bestanden openen
Linux
CoqIDE

Over V-bestanden

Ons doel is om u te helpen begrijpen waar het bestand met de extensie *.v verantwoordelijk voor is en hoe u het kunt openen.

Bestandstype Coq Broncode Bestand Document-, Mac-, Windows-, Linux-, Android- en iOS-softwarebeschrijvingen op deze pagina zijn individueel onderzocht en geverifieerd door het FileInfo-team. Wij streven naar 100% nauwkeurigheid en publiceren alleen informatie over de bestandsformaten die wij meerdere malen hebben getest.