.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.
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++.
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.
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.
Dakramen en raamkozijnen |
|
Linux |
|
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.
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’.
Linux |
|