Obsah

• Typ súboru 1Verilog Zdrojový kód súboru
• text
• Čo je súbor V?
• Typ súboru 2Subsampled Raw YUV Image
• dvojitý
• .V asociácia súborov 2
• File Type 3Coq Zdrojový kód súboru
• text
• .V asociácia súborov 3
• O V súborov

Typ súboru 1Verilog Zdrojový kód súboru

vývojka	Accellera
popularita	3,6 (25 hlasov)
kategórie	Súbory vývojárov
formát	Text X text Tento súbor je uložený vo formáte obyčajného textu. Obsah tohto súboru môžete otvoriť a zobraziť pomocou textového editora.

Čo je súbor V?

Súbor s príponou V môže byť súbor so zdrojovým kódom zapísaný v jazyku popisu hardvéru Verilog (HDL). Špecifikuje model elektronického systému. V súbory zvyčajne obsahujú zdrojový kód Verilog 2005, ale môžu tiež používať jeden zo starších štandardov Verilog, ako napríklad Verilog-95 alebo Verilog 2001. Viac informácií

Verilog 2005 bol nahradený systémom SystemVerilog, ktorý nadväzuje na predchádzajúci štandard, ale pridáva nové funkcie modelovania dizajnu. Zdrojové súbory SystemVerilog majú príponu .SV.

POZNÁMKA: Zdrojové súbory Verilog sa ukladajú vo formáte obyčajného textu a dajú sa otvoriť v textovom editore, napríklad Notepad ++.

FREE DOWNLOAD Otvorenie a zobrazenie .V súborov pomocou File Viewer Plus. Programy, ktoré otvárajú súbory V

windows

File Viewer Plus Notepad ++ Xilinx ISE Design Suite Icarus Verilog Verilog 2005 parser Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme Mentor Graphics ModelSim

gumák

Icarus Verilog

linux

Xilinx ISE Design Suite Verilog 2005 parser Icarus Verilog

Aktualizované 11/27/2018

Typ súboru 2Subsampled Raw YUV Image

vývojka	N / A
popularita	3,3 (9 hlasov)
kategórie	Rastrové obrazové súbory
formát	Binárne X dvojitý Tento súbor je uložený v binárnom formáte, ktorý vyžaduje, aby si jeho obsah prečítal konkrétny program.

.V asociácia súborov 2

Raw "V" obrazový súbor vytvorený ppmtoyuvsplit, Unixový program používaný na rozdelenie Portable PixMap obrázkov (.PPM súbory) do .Y, .U a V súborov; ukladá "V" farbu, alebo farbu, komponent pre obraz; môže byť obnovený späť do pôvodného súboru PPM pomocou nástroja yuvsplittoppm. Viac informácií

V súbory ukladajú obrazové dáta vo formáte požadovanom kodónom Stanford MPEG.

POZNÁMKA: Pomôcky príkazového riadka yuvsplittoppm a ppmtoyuvsplit sú súčasťou grafického balíka založeného na netpbm Unixe.

Programy, ktoré otvárajú súbory V

windows

Prehrávač Microsoft Windows Media Player s balíkom YUV Genius Apple QuickTime Player s kodekom QuickTime YUV

gumák

Apple QuickTime Player s kodekom QuickTime YUV

linux

yuvsplittoppm ppmtoyuvsplit

Aktualizované 5/26/2010

File Type 3Coq Zdrojový kód súboru

vývojka	ADT Coq
popularita	2,9 (7 Hlasov)
kategórie	Súbory vývojárov
formát	Text X text Tento súbor je uložený vo formáte obyčajného textu. Obsah tohto súboru môžete otvoriť a zobraziť pomocou textového editora.

.V asociácia súborov 3

Vývojársky súbor, ktorý používa Coq, aplikácia používaná na vývoj matematických dôkazov; uložené v textovom formáte a obsahujú zdrojový kód vytvorený v jazyku Gallina, ktorý je založený na expresívnom formálnom jazyku nazývanom Calcul of Inductive Constructions (CIC); slúži na ukladanie matematických dôkazov. Viac informácií

Vývojári špecifikujú výrazy vo V súboroch pomocou Gallina "vernacular", čo je syntax alebo jazyk príkazov pre jazyk Gallina. Akonáhle sú V súbory zapísané, môžu byť skompilované a spustené pomocou Coq Proof Assistant IDE, ktorý má názov programu CoqIDE.

POZNÁMKA: Vývoj pre Coq, ktorý predtým spravoval vývojový tím Coq, teraz spravuje ADT Coq. ADT je ​​skratka „Akcia pre technologický rozvoj“.

Programy, ktoré otvárajú súbory V

windows

CoqIDE

gumák

CoqIDE

linux

CoqIDE

Aktualizované 12.6.2010

O V súborov

Naším cieľom je pomôcť vám pochopiť, čo je súbor s príponou * .v a ako ho otvoriť.

Všetky typy súborov, popisy formátov súborov a softvérové ​​programy uvedené na tejto stránke boli individuálne preskúmané a overené tímom FileInfo. Usilujeme sa o 100% presnosť a zverejňujeme iba informácie o formátoch súborov, ktoré sme testovali a overili.

Ak by ste chceli navrhnúť akékoľvek dodatky alebo aktualizácie tejto stránky, dajte nám vedieť.