.V proširenje datoteke

3 vrste datoteka koriste datotečni nastavak .v .

• 1. Verilog izvorni kod
• 2. Pretpostavljeno sirovo YUV sliku
• 3. Datoteka izvornog koda Coq

Tip datoteke 1 Verilog izvornog koda datoteke

Što je V datoteka?

Datoteka s ekstenzijom V datoteke može biti datoteka izvornog koda napisana u jeziku opisa hardvera VerilogaKategorijaRasterske slikovne datotekeFormatBinarni X

Binarni

Ta se datoteka sprema u binarnom formatu, što zahtijeva čitanje sadržaja.

.V Udruga datoteka 2

Sirova "V" slikovna datoteka stvorena pomoću ppmtoyuvsplit, Unix-baziranog programa koji se koristi za razdvajanje Portable PixMap slikaKategorijaDatoteke za razvojne programereFormatTekst X

Tekst

Ova datoteka se sprema u obliku običnog teksta. Sadržaj ove datoteke možete otvoriti i pregledati pomoću uređivača teksta.

.V Udruga datoteka 3

Datoteka programera koju koristi Coq, aplikacija koja se koristi za razvoj matematičkih dokaza; spremaju se u tekstualnom obliku i sadrže izvorni kod izgrađen u jeziku Gallina, koji se temelji na izražajnom formalnom jeziku koji se zove račun induktivnih konstrukcija (CIC); za pohranu matematičkih dokaza. Više informacija

Programeri navode izraze u V datotekama koristeći Gallina "narodni jezik", koji je sintaksa, ili jezik naredbi, za Gallinin jezik. Jednom kad su V datoteke napisane, one se mogu prevesti i pokrenuti s IDE za Coq Proof Assistant, koji ima naziv programa CoqIDE.

NAPOMENA: Razvoj za Coq, koji je prethodno održavao Coq Development Team, sada održava ADT Coq. ADT znači "Akcija za tehnološki razvoj".

Programi koji otvaraju V datoteke