.V Bestandsextensie

3 bestandstypen gebruiken de bestandsextensie .v .

• 1. Verilog broncode-bestand
• 2. Vooraf gesamplede onbewerkte YUV-afbeelding
• 3. Coq broncodebestand

Bestandstype 1 Verilog broncodebestand

Wat is een V-bestand?

Een bestand met een V-bestandsextensie kan een broncodebestand zijn dat is geschreven in de hardwarebeschrijvingstaal van VerilogCategorieRasterafbeeldingsbestandenFormaatBinaire 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 te splitsenCategorieOntwikkelaarsbestandenFormaatTekst 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.

OPMERKING: 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