Inhoud

• Bestandstype 1Verilog broncodebestand
• Tekst
• Wat is een V-bestand?
• Bestandstype 2Subsampled onbewerkte YUV-afbeelding
• Binair
• .V Bestandsassociatie 2
• Bestandstype 3Coq broncode Bestand
• Tekst
• .V Bestandsassociatie 3
• Over V-bestanden

Bestandstype 1Verilog broncodebestand

Ontwikkelaar	Accellera
populariteit	3,6 (25 stemmen)
Categorie	Ontwikkelaarsbestanden
Formaat	Tekst X Tekst Dit bestand wordt opgeslagen als een standaardtekst. U kunt de inhoud van dit bestand openen en bekijken met een teksteditor.

Wat is een V-bestand?

Een bestand met een V-bestandsextensie kan een broncodebestand zijn dat is geschreven in de Verilog hardwarebeschrijvingstaal (HDL). Het specificeert een model van een elektronisch systeem. V-bestanden bevatten meestal Verilog 2005-broncode, 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 de vorige standaard afbouwt, maar nieuwe ontwerpmodelleringseigenschappen toevoegt. SystemVerilog-bronbestanden hebben de extensie .SV.

NOTITIE: De bronbestanden van Verilog worden opgeslagen als gewone tekst en kunnen worden geopend in een teksteditor zoals Notepad ++.

GRATIS DOWNLOAD Open en bekijk .V-bestanden met File Viewer Plus. Programma's die V-bestanden openen

ramen

File Viewer Plus notepad ++ Xilinx ISE Design Suite Icarus Verilog Verilog 2005-parser Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme Mentor Graphics ModelSim

Mac	Icarus Verilog

Linux

Xilinx ISE Design Suite Verilog 2005-parser Icarus Verilog

Bijgewerkt op 27/11/2018

Bestandstype 2Subsampled onbewerkte YUV-afbeelding

Ontwikkelaar	N / A
populariteit	3,3 (9 stemmen)
Categorie	Rasterafbeeldingsbestanden
Formaat	Binaire X Binair Dit bestand wordt opgeslagen in een binair formaat, waarvoor een specifiek programma nodig is om de inhoud ervan te lezen.

.V Bestandsassociatie 2

Raw "V" -bestand gemaakt door ppmtoyuvsplit, een Unix-programma dat wordt gebruikt om Portable PixMap-afbeeldingen (.PPM-bestanden) te splitsen in .Y-, .U- en V-bestanden; slaat de "V" -chrominantie of kleurcomponent voor de afbeelding op; kan worden teruggezet naar het oorspronkelijke 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.

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

Programma's die V-bestanden openen

ramen

Microsoft Windows Media Player met YUV Genius-pakket Apple QuickTime Player met QuickTime YUV-codec

Mac	Apple QuickTime Player met QuickTime YUV-codec

Linux

yuvsplittoppm ppmtoyuvsplit

Bijgewerkt op 26-05-2010

Bestandstype 3Coq broncode Bestand

Ontwikkelaar	ADT Coq
populariteit	2,9 (7 stemmen)
Categorie	Ontwikkelaarsbestanden
Formaat	Tekst X Tekst Dit bestand wordt opgeslagen als een standaardtekst. U kunt de inhoud van dit bestand openen en bekijken met een teksteditor.

.V Bestandsassociatie 3

Ontwikkelaarsbestand gebruikt door Coq, een applicatie die wordt gebruikt om wiskundige bewijzen te ontwikkelen; opgeslagen in een tekstformaat en bevat broncode geconstrueerd in de Gallina-taal, die is gebaseerd op een expressieve formele taal die de Calculus of Inductive Constructions (CIC) wordt genoemd; gebruikt voor het opslaan van wiskundige bewijzen. Meer informatie

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

NOTITIE: Development for Coq, voorheen beheerd door The Coq Development Team, wordt nu onderhouden door ADT Coq. ADT staat voor "Action for Technological Development."

Programma's die V-bestanden openen

ramen

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

Bijgewerkt op 12-06-2010

Over V-bestanden

Ons doel is om u te helpen begrijpen wat een bestand met een * .v-achtervoegsel is en hoe u dit moet openen.

Alle bestandstypes, beschrijvingen van bestandsindelingen en softwareprogramma's die op deze pagina worden vermeld, zijn afzonderlijk onderzocht en geverifieerd door het FileInfo-team. We streven naar 100% nauwkeurigheid en publiceren alleen informatie over bestandsindelingen die we hebben getest en gevalideerd.

Laat het ons weten als u toevoegingen of updates van deze pagina wilt voorstellen.