.v Filudvidelse

En fil med en V-filudvidelse kan være en kildekode-fil skrevet i Verilog-hardwarebeskrivelsessproget (HDL). Den specificerer en model af et elektronisk system. V-filer indeholder typisk Verilog 2005-kildekode, men de kan også bruge en af de ældre Verilog-standarder, f.eks. Verilog-95 eller Verilog 2001.

Verilog 2005 er blevet afløst af SystemVerilog, som bygger på den tidligere standard, men tilføjer nye designmodelleringsfunktioner. SystemVerilog-kildefiler har filtypenavnet .SV.SV.

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

Windows

Xilinx ISE Design Suite Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme

Linux

Xilinx ISE Design Suite Mentor Graphics ModelSim Icarus Verilog Verilog 2005 parser

One of three files from a split .PPM file; others are .U and .V files; YUV representation is used by the Stanford MPEG codec.

Windows

Microsoft Windows Media Player

Linux

ppmtoyuvsplit yuvsplittoppm

Udviklingsfil, der anvendes af Coq, et program, der anvendes til at udvikle matematiske beviser; gemt i et tekstformat og indeholder kildekode konstrueret i Gallina-sproget, som er baseret på et udtryksfuldt formelt sprog kaldet Calculus of Inductive Constructions (CIC); anvendes til lagring af matematiske beviser.

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

NOTE: Udvikling til Coq, som tidligere blev vedligeholdt af The Coq Development Team, vedligeholdes nu af ADT Coq. ADT står for "Action for Technological Development".

Linux

CoqIDE