.V Fájlkiterjesztés

3 fájltípus használja a .v fájlkiterjesztést.

• 1. Verilog forráskódfájl
• 2. Felhasznált nyers YUV kép
• 3. Coq forráskódfájl

Fájltípus 1 Verilog forráskódfájl

Mi az a V fájl?

Egy V fájl kiterjesztésű fájl lehet a Verilog hardverleírás nyelvén írt forráskódfájlKategóriaRaszteres képfájlokFormátumBináris X

kétkomponensű

Ez a fájl bináris formátumban kerül mentésre, amelyhez egy speciális program szükséges annak tartalmának elolvasásához.

.V Fájlszövetség 2

A (z) ppmtoyuvsplit által létrehozott nyers "V" képfájl, a hordozható PixMap képek felosztására használt Unix-alapú programKategóriaFejlesztői fájlokFormátumX szöveg

Szöveg

Ez a fájl egyszerű szöveges formátumban kerül mentésre. A fájl tartalmát szövegszerkesztő segítségével nyithatja meg és tekintheti meg.

.V Fájlszövetség 3

A Coq által használt fejlesztői fájl, a matematikai bizonyítékok kifejlesztésére használt alkalmazás; szöveges formátumban mentve, és a Gallina nyelvre épített forráskódot tartalmazza, amely az Induktív szerkezetek Calculus (CIC) nevű kifejező formális nyelvén alapul; matematikai bizonyítékok tárolására használják. Több információ

A fejlesztők a Gallina nyelvű szintaxisát vagy a parancsok nyelvét használó Gallina "köznyelv" kifejezéseket a V fájlokban határozzák meg. Miután a V fájlokat írták, összeállíthatók és futtathatóak a Coq Proof Assistant IDE-vel, melynek neve a CoqIDE.

MEGJEGYZÉS: A Coq fejlesztését, amelyet korábban a The Coq Development Team tartott, most az ADT Coq fenntartja. Az ADT a "Technológiai Fejlesztési Akció" kifejezés.

A V fájlokat megnyitó programok