Indhold

• File Type 1Verilog Source Code File
• Tekst
• Hvad er en V-fil?
• File Type 2Subsampled Raw YUV Image
• Binary
• .V File Association 2
• Filtype 3Coq Kildekodefil
• Tekst
• .V filforening 3
• Om V-filer

File Type 1Verilog Source Code File

Udvikler	Accellera
popularitet	3,6 (25 stemmer)
Kategori	Udviklerfiler
Format	Tekst X Tekst Denne fil gemmes i et almindeligt tekstformat. Du kan åbne og se indholdet af denne fil ved hjælp af en teksteditor.

Hvad er en V-fil?

En fil med en filforlængelse kan være en kildekodefil, der er skrevet i Verilog hardwarebeskrivelsessprog (HDL). Det specificerer en model af et elektronisk system. V-filer indeholder typisk Verilog 2005-kildekoden, men de kan også bruge en af ​​de ældre Verilog-standarder, som Verilog-95 eller Verilog 2001. Mere information

Verilog 2005 er blevet erstattet af SystemVerilog, som bygger videre på den tidligere standard, men tilføjer nye designmodelleringsfunktioner. SystemVerilog source-filer har en .SV filudvidelse.

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

GRATIS DOWNLOAD Åbn og se .V filer med File Viewer Plus. Programmer, der åbner V-filer

vinduer

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

Opdateret 11/27/2018

File Type 2Subsampled Raw YUV Image

Udvikler	N / A
popularitet	3,3 (9 stemmer)
Kategori	Raster Image Files
Format	Binær X Binary Denne fil gemmes i et binært format, som kræver et specifikt program til at læse indholdet.

.V File Association 2

Rå "V" billedfil oprettet af ppmtoyuvsplit, et Unix-baseret program, der bruges til at dele Portable PixMap-billeder (.PPM-filer) i .Y, .U og V-filer; lagrer "V" -krominansen eller farvekomponenten til billedet; kan gendannes tilbage til den oprindelige PPM-fil ved hjælp af yuvsplittoppm-hjælpeprogrammet. Mere information

V-filer gemmer billeddata i et format, der kræves af Stanford MPEG-codec.

BEMÆRK: Yuvsplittoppm og ppmtoyuvsplit kommandolinjeværktøjer er en del af netpbm Unix-baseret grafikpakke.

Programmer, der åbner V-filer

vinduer

Microsoft Windows Media Player med YUV Genius-pakke Apple QuickTime Player med QuickTime YUV codec

Mac	Apple QuickTime Player med QuickTime YUV codec

Linux

yuvsplittoppm ppmtoyuvsplit

Opdateret 5/26/2010

Filtype 3Coq Kildekodefil

Udvikler	ADT Coq
popularitet	2,9 (7 Stemmer)
Kategori	Udviklerfiler
Format	Tekst X Tekst Denne fil gemmes i et almindeligt tekstformat. Du kan åbne og se indholdet af denne fil ved hjælp af en teksteditor.

.V filforening 3

Udviklerfil, der anvendes af Coq, en applikation der bruges til at udvikle matematiske proofs; gemt i et tekstformat og indeholder kildekode opbygget i Gallina-sproget, der er baseret på et udtryksformelt formelt sprog kaldet Calculus of Inductive Constructions (CIC); bruges til lagring af matematiske beviser. Mere information

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

BEMÆRK: Udvikling til Coq, som tidligere blev opretholdt af The Coq Development Team, er nu vedligeholdt af ADT Coq. ADT står for "Action for teknologisk udvikling."

Programmer, der åbner V-filer

vinduer

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

Opdateret 12/6/2010

Om V-filer

Vores mål er at hjælpe dig med at forstå, hvad en fil med et * .v-suffiks er, og hvordan man åbner det.

Alle filtyper, filformatbeskrivelser og softwareprogrammer, der er angivet på denne side, er blevet undersøgt individuelt og verificeret af FileInfo-teamet. Vi stræber efter 100% nøjagtighed og kun offentliggør oplysninger om filformater, som vi har testet og valideret.

Hvis du vil foreslå eventuelle tilføjelser eller opdateringer til denne side, skal du kontakte os.