.V Faila paplašinājums

3 failu tipi izmanto .v faila paplašinājumu.

• 1. Veriloga pirmkodu fails
• 2. Subampled Raw YUV attēls
• 3. Coq avota koda fails

Faila tips 1 Verilog avota koda fails

Kas ir V fails?

Fails ar V faila paplašinājumu var būt avota koda fails, kas rakstīts Verilog aparatūras apraksta valodāKategorijaRastra attēlu failiFormātsBinārais X

Binārs

Šis fails tiek saglabāts binārā formātā, kas prasa īpašu programmu tās satura nolasīšanai.

.V Failu asociācija 2

Neapstrādāts "V" attēla fails, ko izveidojis ppmtoyuvsplit, Unix balstīta programma, ko izmanto, lai sadalītu portatīvos PixMap attēlusKategorijaIzstrādātāja failiFormātsTeksts X

Teksts

Šis fails tiek saglabāts teksta formātā. Varat atvērt un apskatīt šī faila saturu, izmantojot teksta redaktoru.

.V Failu asociācija 3

Coq izmantotais izstrādātāja fails - lietojumprogramma, ko izmanto matemātisku pierādījumu izstrādei; saglabāta teksta formātā un satur avota kodu, kas veidots Gallina valodā, kas balstās uz izteiksmīgu oficiālo valodu, ko sauc par Induktīvo konstrukciju aprēķinu (CIC); izmanto matemātisko pierādījumu glabāšanai. Vairāk informācijas

Izstrādātāji norāda V failos izteiktos vārdus, izmantojot Gallina "dzimteni", kas ir Gallina valodas sintakse vai komandu valoda. Kad V faili ir rakstīti, tos var apkopot un darbināt ar Coq Proof Assistant IDE, kam ir programmas nosaukums CoqIDE.

PIEZĪME: Attīstību Coq, ko iepriekš uzturēja Coq Development Team, tagad uztur ADT Coq. ADT nozīmē „Rīcība tehnoloģiju attīstībai”.

Programmas, kas atver V failus