Conţinut

• Tip fișier 1Verilog Fișier cod sursă
• Text
• Ce este un fișier V?
• Tipul fișierului 2 Imagine YUV necorespunzătoare
• Binar
• . Asociația dosarelor 2
• Tip fișier 3Coq File Source Code
• Text
• . Asociația dosarelor 3
• Despre fișierele V

Tip fișier 1Verilog Fișier cod sursă

Dezvoltator	Accellera
Popularitate	3,6 (25 Voturi)
Categorie	Fișierele dezvoltatorului
Format	Text X Text Acest fișier este salvat într-un format de text simplu. Puteți deschide și vizualiza conținutul acestui fișier utilizând un editor de text.

Ce este un fișier V?

Un fișier cu o extensie de fișier V poate fi un fișier cu cod sursă scris în limba de descriere a hardware-ului Verilog (HDL). Specifică un model al unui sistem electronic. Fișierele V conțin, de obicei, codul sursă Verilog 2005, dar pot folosi și unul dintre standardele Verilog mai vechi, cum ar fi Verilog-95 sau Verilog 2001. Mai multe informații

Verilog 2005 a fost înlocuit de SystemVerilog, care construiește standardul anterior, dar adaugă noi caracteristici de modelare a designului. Fișierele sursă SystemVerilog au o extensie de fișier .SV.

NOTĂ: Fișierele sursă Verilog sunt salvate într-un format de text simplu și pot fi deschise într-un editor de text, cum ar fi Notepad ++.

FREE DOWNLOAD Deschideți și vizualizați fișierele .V cu File Viewer Plus. Programe care deschid fișierele V

ferestre

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

Mac	Icarus Verilog

Linux

Xilinx ISE Design Suite Verilog 2005 parser Icarus Verilog

Actualizat 11/27/2018

Tipul fișierului 2 Imagine YUV necorespunzătoare

Dezvoltator	N / A
Popularitate	3.3 (9 voturi)
Categorie	Fișiere imagine raster
Format	Binar X Binar Acest fișier este salvat într-un format binar, care necesită un anumit program pentru a citi conținutul acestuia.

. Asociația dosarelor 2

Fișier imagine Raw "V" creat de ppmtoyuvsplit, un program bazat pe Unix folosit pentru a împărți imaginile PixMap Portable (fișiere .PPM) în fișiere .Y, .U și V; stochează componentul de crominanță "V" sau culoare, pentru imagine; poate fi restabilită înapoi la fișierul PPM original utilizând utilitarul yuvsplittoppm. Mai multe informatii

V stochează datele de imagine într-un format cerut de codecul MPEG de la Stanford.

NOTĂ: Utilitalele de linie de comandă yuvsplittoppm și ppmtoyuvsplit fac parte din pachetul grafic netpbm bazat pe Unix.

Programe care deschid fișierele V

ferestre

Microsoft Windows Media Player cu pachet YUV Genius Apple QuickTime Player cu codec QuickTime YUV

Mac	Apple QuickTime Player cu codec QuickTime YUV

Linux

yuvsplittoppm ppmtoyuvsplit

Actualizat 5/26/2010

Tip fișier 3Coq File Source Code

Dezvoltator	ADT Coq
Popularitate	2.9 (7 Voturi)
Categorie	Fișierele dezvoltatorului
Format	Text X Text Acest fișier este salvat într-un format de text simplu. Puteți deschide și vizualiza conținutul acestui fișier utilizând un editor de text.

. Asociația dosarelor 3

Fișier de dezvoltator utilizat de Coq, o aplicație folosită pentru a dezvolta dovezi matematice; salvat într-un format de text și conține cod sursă construit în limba Gallina, care se bazează pe o limbă formală expresivă numită Calcul al Construcțiilor Inductive (CIC); utilizat pentru stocarea dovezilor matematice. Mai multe informatii

Dezvoltatorii specifică expresii în fișierele V folosind Gallina "vernacular", care este sintaxa sau limba comenzilor pentru limba Gallina. Odată ce fișierele V sunt scrise, pot fi compilate și executate cu IDE-ul Coq Proof Assistant, care are numele programului CoqIDE.

NOTĂ: Dezvoltarea pentru Coq, care a fost menținută anterior de Echipa de Dezvoltare Coq, este acum menținută de ADT Coq. ADT reprezintă "Acțiunea pentru dezvoltarea tehnologică".

Programe care deschid fișierele V

ferestre

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

Actualizat 12/6/2010

Despre fișierele V

Scopul nostru este de a vă ajuta să înțelegeți ce este un fișier cu un sufix * .v și cum să îl deschideți.

Toate tipurile de fișiere, descrierile formatelor de fișiere și programele software enumerate pe această pagină au fost cercetate individual și verificate de echipa FileInfo. Ne străduim să obținem acuratețe de 100% și să publicăm doar informații despre formatele de fișiere pe care le-am testat și validat.

Dacă doriți să sugerați adăugări sau actualizări la această pagină, vă rugăm să ne anunțați.