Tartalom
- Fájltípus 1Verilog forráskódfájl
- Szöveg
- Mi az a V fájl?
- Fájl típus 2Alkalmazott nyers YUV kép
- kétkomponensű
- .V Fájlszövetség 2
- Fájl típus 3Coq forráskód fájl
- Szöveg
- .V Fájlszövetség 3
- V fájlokról
Fájltípus 1Verilog 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 (HDL) írt forráskódfájl. Meghatározza az elektronikus rendszer modelljét. A V fájlok tipikusan Verilog 2005 forráskódot tartalmaznak, de a régebbi Verilog szabványok egyikét is használhatják, például Verilog-95 vagy Verilog 2001. További információk
A Verilog 2005-t a SystemVerilog váltotta fel, amely az előző szabványt kiépíti, de új tervezési modelleket is tartalmaz. A SystemVerilog forrásfájloknak .SV fájl kiterjesztése van.
JEGYZET: A Verilog forrásfájlokat egyszerű szöveges formátumban tárolják, és egy szövegszerkesztőben, például a Notepad ++-ban is megnyithatók.
INGYENES LETÖLTÉS Nyissa meg és nézze meg a .V fájlokat a File Viewer Plus programmal. A V fájlokat megnyitó programokablakok |
|
Mac |
|
Linux |
|
Fájl típus 2Alkalmazott nyers YUV kép
.V Fájlszövetség 2
A (z) ppmtoyuvsplit által létrehozott nyers "V" képfájl, egy Unix-alapú program, amelyet a Portable PixMap képek (.PPM-fájlok) .Y, .U és V-fájlokba osztására használnak; eltárolja a kép "V" színátmenetét vagy színét; visszaállítható az eredeti PPM fájlba a yuvsplittoppm segédprogram segítségével. Több információ
A V fájlok a Stanford MPEG codec által megkövetelt formátumban tárolják a képadatokat.
JEGYZET: A yuvsplittoppm és a ppmtoyuvsplit parancssori segédprogramok a netpbm Unix alapú grafikus csomag részét képezik.
A V fájlokat megnyitó programokablakok |
|
Mac |
|
Linux |
|
Fájl típus 3Coq forráskód fájl
.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ő formai 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ának vagy a parancsok nyelvének a Gallina "köznyelvű" kifejezéseit 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.
JEGYZET: 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ó programokablakok |
|
Mac |
|
Linux |
|
V fájlokról
Célunk, hogy segítsünk megérteni, hogy mi a * .v utótaggal rendelkező fájl és hogyan nyitható meg.
Minden fájltípus, fájlformátum leírás és az ezen az oldalon felsorolt szoftverprogramok a FileInfo csapata egyedileg kutatott és ellenőrzött. 100% -os pontosságra törekszünk, és csak az általunk tesztelt és validált fájlformátumokkal kapcsolatos információkat teszünk közzé.
Ha bármilyen kiegészítést vagy frissítést szeretne javasolni ezen az oldalon, kérjük, ossza meg velünk.