.v Fájlkiterjesztés
Fájltípus1Verilog Source Code File
| Fejlesztő | Accellera |
| Kategória | Developer Files |
| Formátum | Text |
Mi az 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. Az V fájlok általában 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.
A Verilog 2005-t a SystemVerilog váltotta fel, amely az előző szabványt kiépíti, de új tervezési modellezési funkciókat tartalmaz. A SystemVerilog forrásfájljai .SV kiterjesztéssel rendelkeznek.
MEGJEGYZÉS: A Verilog forrásfájlok egyszerű szöveges formátumban vannak mentve, és megnyithatók egy szövegszerkesztőben, például a Notepad ++ programban.
Fájltípus2Subsampled Raw YUV Image
| Fejlesztő | N/A |
| Kategória | Raster Image Files |
| Formátum | Binary |
.V opció száma 2
A V fájlok a Stanford MPEG codec által megkövetelt formátumban tárolják a képadatokat.
MEGJEGYZÉS: A yuvsplittoppm és a ppmtoyuvsplit parancssori segédprogramok a netpbm Unix alapú grafikus csomag részét képezik. / p>
| Windows |
|
| Linux |
|
Fájltípus3Coq Source Code File
| Fejlesztő | ADT Coq |
| Kategória | Developer Files |
| Formátum | Text |
.V opció száma 3
A Coq által használt fejlesztői fájl, a matematikai bizonyítékok fejleszté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.
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, azokat a CoqIDE programnévvel rendelkező Coq Proof Assistant IDE segítségével lehet fordítani és futtatni.
MEGJEGYZÉS: A Coq fejlesztése, amelyet korábban a Coq fejlesztőcsapata üzemeltetett, a következő: most az ADT Coq. Az ADT a „Technológiai fejlesztésért felelős cselekvés”.
| Linux |
|