.V filforlengelse

3 filtyper bruker .v filutvidelsen.

• 1. Verilog Source Code File
• 2. Subsamplet Raw YUV Image
• 3. Coq Kildekodefil

Filtype 1 Verilog Kildekodefil

Hva er en V-fil?

En fil med filtypenavn V kan være en kildekodefil skrevet på Verilog-maskinvarebeskrivelsesspråketKategoriRaster bildefilerFormatBinary 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-bilderKategoriUtviklerfilerFormatTekst 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 som kalles Calculus of Inductive Constructions (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