.V Extensia fișierului

3 tipuri de fișiere utilizează extensia de fișiere .v .

• 1. Fișier cod sursă Verilog
• 2. Imagine YUV brut brut
• 3. Fișier cod sursă Coq

Tip fișier 1 Fișierul sursă Verilog

Ce este un fișier V?

Un fișier cu o extensie de fișier V poate fi un fișier de cod sursă scris în limba de descriere a hardware-ului VerilogCategorieFișiere imagine rasterFormatBinar X

Binar

Acest fișier este salvat într-un format binar, care necesită un anumit program pentru a citi conținutul său.

. Asociația dosarelor 2

Fișier imagine Raw "V" creat de ppmtoyuvsplit, un program bazat pe Unix folosit pentru a împărți imaginile portabile PixMapCategorieFișierele dezvoltatoruluiFormatText 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