.V Failo plėtinys

3 failų tipai naudoja .v failo plėtinį.

• 1. Verilogo šaltinio kodo failas
• 2. Parašytas neapdorotas YUV vaizdas
• 3. Coq šaltinio kodo failas

Failo tipas 1 Verilog šaltinio kodo failas

Kas yra V failas?

Failas su V failo plėtiniu gali būti pirminio kodo failas, parašytas Verilog techninės įrangos aprašymo kalbaKategorijaRastriniai vaizdo failaiFormatasBinarinis X

Dvejetainis

Šis failas išsaugomas dvejetainiu formatu, kuriam reikalinga speciali programa, skirta jos turiniui perskaityti.

.V failų asociacija 2

Neapdorotas „V“ vaizdo failas, sukurtas „ppmtoyuvsplit“, „Unix“ programa, naudojama „Portable PixMap“ vaizdams padalintiKategorijaKūrėjo failaiFormatasTekstas X

Tekstas

Šis failas išsaugomas paprasto teksto formatu. Galite atidaryti ir peržiūrėti šio failo turinį naudodami teksto redaktorių.

.V failų asociacija 3

„Coq“ naudojamas programuotojo failas - programa, naudojama matematiniams įrodymams kurti; išsaugotas teksto formatu ir jame yra „Gallina“ kalba sukurtas pradinis kodas, pagrįstas ekspresyvia oficialiąja kalba, vadinama „Indukcinių konstrukcijų skaičiuokle“ (CIC); naudojami matematiniams įrodymams saugoti. Daugiau informacijos

Kūrėjai nurodo „V“ rinkmenų išraiškas „Gallina“ liaudies kalba, kuri yra „Gallina“ kalbos sintaksė arba komandų kalba. Kai rašomi V failai, jie gali būti sukompiliuoti ir paleisti naudojant „Coq Proof Assistant IDE“, kuris turi programos pavadinimą „CoqIDE“.

PASTABA: „Coq“, kurią anksčiau prižiūrėjo „The Coq Development Team“, kūrimą vykdo „ADT Coq“. ADT reiškia „Veiksmai technologinei plėtrai“.

Programos, atidarančios V failus