.v soubor
Typ souboru 1:Verilog Source Code File
| Vývojář | Accellera |
| Kategorie | Soubory vývojářů |
| Formát | Text |
Co je to soubor V?
Soubor s příponou V může být zdrojovým kódem napsaným v jazyce popisu hardwaru Verilog (HDL). Specifikuje model elektronického systému. V soubory obvykle obsahují zdrojový kód Verilog 2005, ale mohou také používat jeden ze starších standardů Verilog, jako je Verilog-95 nebo Verilog 2001.
Verilog 2005 byl nahrazen systémem SystemVerilog, který vychází z předchozího standardu, ale přidává nové funkce modelování návrhu. Zdrojové soubory SystemVerilog mají příponu .SV .
POZNÁMKA: Zdrojové soubory Verilog jsou uloženy ve formátu prostého textu a lze je otevřít v textovém editoru, jako je například Poznámkový blok ++.
Typ souboru 2:Subsampled Raw YUV Image
| Vývojář | N/A |
| Kategorie | Rastrové obrazové soubory |
| Formát | Binary |
.V druhá možnost
Surový soubor s obrazem "V" vytvořený programem ppmtoyuvsplit, program založený na Unixu, který slouží k rozdělení obrazů Portable PixMap (soubory .PPM ) do souborů .Y , .U a V; ukládá „V“ chrominanci nebo barvu, která je součástí obrazu; může být obnoven zpět do původního souboru PPM pomocí nástroje yuvsplittoppm.
V soubory ukládají obrazová data ve formátu požadovaném kodekem Stanford MPEG.
POZNÁMKA: Nástroje příkazového řádku yuvsplittoppm a ppmtoyuvsplit jsou součástí grafického balíku Netpbm Unix. / p>
| Windows |
|
| Linux |
|
Typ souboru 3:Coq Source Code File
| Vývojář | ADT Coq |
| Kategorie | Soubory vývojářů |
| Formát | Text |
.V třetí možnost
Vývojářský soubor používaný společností Coq, aplikací používanou k vývoji matematických důkazů; uloženy v textovém formátu a obsahují zdrojový kód vytvořený v jazyce Gallina, který je založen na expresivním formálním jazyce zvaném Calcul of Inductive Constructions (CIC); slouží k ukládání matematických důkazů.
Vývojáři specifikují výrazy ve V souborech pomocí Gallina "vernacular", což je syntaxe nebo jazyk příkazů pro jazyk Gallina. Jakmile jsou soubory V napsány, mohou být zkompilovány a spuštěny s IDE asistenta Coq Proof Assistant, který má název programu CoqIDE. nyní spravuje ADT Coq. ADT je zkratka „Akce pro technologický rozvoj“.
| Linux |
|