3 filtyper bruger filtypen .v .
- 1. Verilog Source Code File
- 2. Subsamplet rå YUV-billede
- 3. Coq Source Code File
Filtype 1 Verilog Source Code File
Udvikler | Accellera |
popularitet | 3.5 |
Kategori | Udviklerfiler |
Format | Tekst X TekstDenne 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 på Verilog hardwarebeskrivelsessproget
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
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 syntaksen 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 |
|
Mac |
|
Linux |
|