Sisu

• Failitüüp 1Verilog lähtekoodi fail
• Tekst
• Mis on V-fail?
• Failitüüp 2Subsampled Raw YUV Image
• Binaarne
• .V Faili ühendus 2
• Failitüüp 3Coq lähtekoodi fail
• Tekst
• .V Faili ühendus 3
• V failidest

Failitüüp 1Verilog lähtekoodi fail

Arendaja	Accellera
Populaarsus	3.6 (25 häält)
Kategooria	Arendajafailid
Vorming	Tekst X Tekst See fail salvestatakse lihttekstina. Selle faili sisu saate avada ja vaadata tekstiredaktori abil.

Mis on V-fail?

V-faililaiendiga fail võib olla lähtekoodi fail, mis on kirjutatud Verilogi riistvara kirjelduse keeles (HDL). See määratleb elektroonilise süsteemi mudeli. V-failid sisaldavad tavaliselt Verilog 2005 lähtekoodi, kuid võivad kasutada ka ühte vanematest Verilog-standarditest, nagu Verilog-95 või Verilog 2001. Rohkem teavet

Verilog 2005 on asendatud SystemVerilogiga, mis ehitab välja varasema standardi, kuid lisab uusi disaini modelleerimise funktsioone. SystemVerilogi lähtefailidel on .SV-faililaiend.

MÄRGE: Verilogi lähtefailid salvestatakse lihtteksti vormingus ja neid saab avada tekstiredaktoris nagu Notepad ++.

TASUTA ALLALAADIMINE Avage ja vaadake .V-faile File Viewer Plus abil. V-faile avavad programmid

Windows

File Viewer Plus Notepad ++ Xilinx ISE disaini sviit Icarus Verilog Verilog 2005 parser Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme Mentor Graphics ModelSim

Mac	Icarus Verilog

Linux

Xilinx ISE disaini sviit Verilog 2005 parser Icarus Verilog

Värskendatud 11/27/2018

Failitüüp 2Subsampled Raw YUV Image

Arendaja	N / A
Populaarsus	3.3 (9 häält)
Kategooria	Raster pildifailid
Vorming	Binaarne X Binaarne See fail salvestatakse binaarformaadis, mis nõuab selle sisu lugemiseks spetsiaalset programmi.

.V Faili ühendus 2

Toores "V" pildifail, mille on loonud ppmtoyuvsplit, Unix-põhine programm, mida kasutatakse portatiivsete PixMap-piltide (.PPM-failide) jagamiseks .Y, .U ja V-failideks; salvestab pildi "V" värvi või värvi komponendi; taastatakse algsesse PPM-faili, kasutades yuvsplittoppmi utiliiti. Rohkem informatsiooni

V-failid salvestavad pildiandmeid Stanfordi MPEG koodekiga nõutud vormingus.

MÄRGE: Yuvsplittoppm ja ppmtoyuvsplit käsurea utiliidid on osa Netpbm Unix-põhisest graafikapaketist.

V-faile avavad programmid

Windows

Microsoft Windows Media Player koos YUV Genius paketiga Apple QuickTime Player QuickTime YUV koodekiga

Mac	Apple QuickTime Player QuickTime YUV koodekiga

Linux

yuvsplittoppm ppmtoyuvsplit

Värskendatud 5.6.2010

Failitüüp 3Coq lähtekoodi fail

Arendaja	ADT Coq
Populaarsus	2.9 (7 häält)
Kategooria	Arendajafailid
Vorming	Tekst X Tekst See fail salvestatakse lihttekstina. Selle faili sisu saate avada ja vaadata tekstiredaktori abil.

.V Faili ühendus 3

Coqi kasutatav arendajafail, matemaatiliste tõendite väljatöötamiseks kasutatav rakendus; salvestatakse tekstivormingus ja sisaldab algkoodi, mis on ehitatud Gallina keelde ja mis põhineb väljendusrikkal ametlikul keelel, mida nimetatakse Induktiivsete konstruktsioonide Calculus (CIC); kasutatakse matemaatiliste tõendite salvestamiseks. Rohkem informatsiooni

Arendajad täpsustavad V-failides väljendeid Gallina "rahvakeelse" abil, mis on Gallina keele süntaksi või käskude keel. Kui V-failid on kirjutatud, saab neid kompileerida ja käivitada Coq Proof Assistant IDE-ga, millel on programmi nimi CoqIDE.

MÄRGE: Coqi arendustööd, mida varem säilitas Coq arendusmeeskond, haldab nüüd ADT Coq. ADT tähistab tehnoloogilise arengu tegevust.

V-faile avavad programmid

Windows

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

Värskendatud 12.6.2010

V failidest

Meie eesmärk on aidata teil mõista, milline on * .v sufiksiga fail ja kuidas seda avada.

FileInfo meeskond on individuaalselt uurinud ja kontrollinud kõiki sellel lehel loetletud failitüüpe, failivormingu kirjeldusi ja tarkvaraprogramme. Püüame 100% täpsust ja avaldame ainult teavet failivormingute kohta, mida oleme testinud ja kinnitanud.

Kui soovid soovitada selle lehe täiendusi või uuendusi, siis palun andke meile sellest teada.