Innhold

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

Filtype 1Verilog Kildekodefil

Utvikler	Accellera
popularitet	3,6 (25 stemmer)
Kategori	Utviklerfiler
Format	Tekst X Tekst Denne filen er lagret i et vanlig tekstformat. Du kan åpne og vise innholdet i denne filen ved hjelp av en tekstredigerer.

Hva er en V-fil?

En fil med filtypenavn V kan være en kildekodefil skrevet i Verilog-maskinvarebeskrivelsesspråket (HDL). Det spesifiserer en modell av et elektronisk system. V-filer inneholder vanligvis Verilog 2005-kildekoden, men de kan også bruke en av de eldre Verilog-standardene, for eksempel Verilog-95 eller Verilog 2001. Mer informasjon

Verilog 2005 har blitt erstattet av SystemVerilog, som bygger på den forrige standarden, men legger til nye designmodelleringsfunksjoner. SystemVerilog kildefiler har en .SV filtype.

MERK: Verilog kildefiler lagres i et vanlig tekstformat og kan åpnes i et tekstredigeringsprogram som Notepad ++.

GRATIS LAST NED Åpne og se .V filer med File Viewer Plus. Programmer som åpner V-filer

Windows

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

Oppdatert 11/27/2018

File Type 2Subsampled Raw YUV Image

Utvikler	N / A
popularitet	3,3 (9 stemmer)
Kategori	Raster bildefiler
Format	Binary X Binary Denne filen er lagret i et binært format, som krever et bestemt program for å lese innholdet.

.V File Association 2

Rå "V" bildefil opprettet av ppmtoyuvsplit, et Unix-basert program som brukes til å dele Portable PixMap-bilder (.PPM-filer) til .Y, .U og V-filer; lagrer "V" krominans, eller farge, komponent for bildet; kan gjenopprettes tilbake til den opprinnelige PPM-filen ved hjelp av yuvsplittoppm-verktøyet. Mer informasjon

V-filer lagrer bildedata i et format som kreves av Stanford MPEG-kodeken.

MERK: Yuvsplittoppm og ppmtoyuvsplit kommandolinjeverktøy er en del av netpbm Unix-baserte grafikkpakken.

Programmer som åpner V-filer

Windows

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

Mac	Apple QuickTime Player med QuickTime YUV codec

Linux

yuvsplittoppm ppmtoyuvsplit

Oppdatert 5/26/2010

Filtype 3Coq Kildekodefil

Utvikler	ADT Coq
popularitet	2.9 (7 Stemmer)
Kategori	Utviklerfiler
Format	Tekst X Tekst Denne filen er lagret i et vanlig tekstformat. Du kan åpne og vise innholdet i denne filen ved hjelp av en tekstredigerer.

.V File Association 3

Utviklerfil som brukes av Coq, et program som brukes til å utvikle matematiske proofs; lagret i et tekstformat og inneholder kildekoden konstruert i Gallina-språket, som er basert på et uttrykksformelt formelt språk kalt Inductive Constructions Calculus (CIC); brukes til lagring av matematiske bevis. Mer informasjon

Utviklere spesifiserer uttrykk i V-filer ved hjelp av Gallina "vernacular", som er syntaksen, eller kommandospråk, for Gallina-språket. Når V-filer er skrevet, kan de kompileres og kjøres med Coq Proof Assistant IDE, som har programnavnet CoqIDE.

MERK: Utvikling for Coq, som tidligere ble vedlikeholdt av The Coq Development Team, vedlikeholdes nå av ADT Coq. ADT står for "Handling for teknologisk utvikling."

Programmer som åpner V-filer

Windows

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

Oppdatert 12.6.2010

Om V-filer

Målet vårt er å hjelpe deg å forstå hva en fil med et * .v-suffiks er, og hvordan du åpner den.

Alle filtyper, filformatbeskrivelser og programmer som er oppført på denne siden, har blitt undersøkt og verifisert av FileInfo-teamet. Vi strever etter 100% nøyaktighet og bare publiserer informasjon om filformater som vi har testet og validert.

Hvis du vil foreslå noen tillegg eller oppdateringer til denne siden, vennligst gi oss beskjed.