Obsah
- Typ souboru 1Verilog Zdrojový kód souboru
- Text
- Co je soubor V?
- Typ souboru 2Subsampled Raw YUV Image
- Binární
- .V soubor asociace 2
- Soubor typu 3Coq Zdrojový kód souboru
- Text
- .V soubor asociace 3
- O souborech V
Typ souboru 1Verilog Zdrojový kód souboru
Co je 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. Soubory V obvykle obsahují zdrojový kód Verilog 2005, ale mohou také použít jeden ze starších standardů Verilog, například Verilog-95 nebo Verilog 2001. Další informace
Verilog 2005 byl nahrazen systémem SystemVerilog, který navazuje na předchozí standard, 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, například Notepad ++.
ZDARMA KE STAŽENÍ Otevřete a zobrazte soubory .V pomocí Prohlížeče souborů. Programy, které otevírají soubory VOkna |
|
Mac |
|
Linux |
|
Typ souboru 2Subsampled Raw YUV Image
Vývojář | N / A |
Popularita | 3,3 (9 hlasů) |
Kategorie | Rastrové obrazové soubory |
Formát | Binární X BinárníTento soubor je uložen v binárním formátu, který vyžaduje přečtení jeho obsahu. |
.V soubor asociace 2
Raw "V" obrazový soubor vytvořený pomocí ppmtoyuvsplit, unixového programu, 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 obnovena zpět do původního souboru PPM pomocí nástroje yuvsplittoppm. Více informací
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 Unipbm Unix.
Programy, které otevírají soubory VOkna |
|
Mac |
|
Linux |
|
Soubor typu 3Coq Zdrojový kód souboru
.V soubor asociace 3
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ží pro ukládání matematických důkazů. Více informací
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 zapsány, mohou být zkompilovány a spuštěny pomocí IDE Coq Proof Assistant, který má název programu CoqIDE.
POZNÁMKA: Vývoj pro Coq, který byl dříve udržován týmem Coq Development, je nyní spravován ADT Coq. ADT je zkratka „Akce pro technologický rozvoj“.
Programy, které otevírají soubory VOkna |
|
Mac |
|
Linux |
|
O souborech V
Naším cílem je pomoci vám pochopit, co je soubor s příponou * .v a jak jej otevřít.
Všechny typy souborů, popisy formátů souborů a softwarové programy uvedené na této stránce byly individuálně prozkoumány a ověřeny týmem FileInfo. Usilujeme o 100% přesnost a publikujeme pouze informace o formátech souborů, které jsme testovali a ověřili.
Chcete-li na této stránce navrhnout jakékoli doplňky nebo aktualizace, dejte nám prosím vědět.