Sisältö

• Tiedostotyyppi 1Verilog-lähdekooditiedosto
• Teksti
• Mikä on V-tiedosto?
• Tiedostotyyppi 2Subsampled Raw YUV-kuva
• Binääri
• .V Tiedostoyhdistys 2
• Tiedostotyyppi 3Coq lähdekooditiedosto
• Teksti
• .V Tiedostoyhdistys 3
• Tietoja V-tiedostoista

Tiedostotyyppi 1Verilog-lähdekooditiedosto

Kehittäjä	Accellera
Suosio	3.6 (25 ääntä)
Kategoria	Kehittäjän tiedostot
Muoto	Teksti X Teksti Tämä tiedosto tallennetaan tekstimuodossa. Voit avata ja tarkastella tämän tiedoston sisältöä tekstieditorilla.

Mikä on V-tiedosto?

Tiedosto, jossa on V-tiedostotunniste, voi olla lähdekooditiedosto, joka on kirjoitettu Verilog-laitteiston kuvauskielelle (HDL). Siinä määritellään sähköisen järjestelmän malli. V-tiedostot sisältävät tyypillisesti Verilog 2005 -koodin, mutta ne voivat myös käyttää jotakin vanhemmista Verilog-standardeista, kuten Verilog-95 tai Verilog 2001. Lisätietoja

Verilog 2005 on korvattu SystemVerilog, joka rakentaa aiemman standardin, mutta lisää uusia mallinnusominaisuuksia. SystemVerilog-lähdetiedostoilla on .SV-tiedostotunniste.

HUOMAUTUS: Verilog-lähdetiedostot tallennetaan tekstimuodossa ja ne voidaan avata tekstieditorissa, kuten Notepad ++: ssa.

ILMAINEN LATAA Lataa ja katsele .V-tiedostoja File Viewer Plus -ohjelmalla. V-tiedostoja avaavat ohjelmat

Windows

Tiedostojen katseluohjelma Plus Notepad ++ Xilinx ISE Design Suite Icarus Verilog Verilog 2005 jäsennin Cadence Design Systems Incisive SYNAPTICAD VeriLogger Extreme Mentor Graphics ModelSim

mac	Icarus Verilog

Linux

Xilinx ISE Design Suite Verilog 2005 jäsennin Icarus Verilog

Päivitetty 27.7.2018

Tiedostotyyppi 2Subsampled Raw YUV-kuva

Kehittäjä	N / A
Suosio	3.3 (9 ääntä)
Kategoria	Rasterikuvatiedostot
Muoto	Binary X Binääri Tämä tiedosto tallennetaan binaarimuodossa, joka edellyttää tietyn ohjelman lukemista.

.V Tiedostoyhdistys 2

Ppmtoyuvsplitin luomaa raakaa "V" -kuvatiedostoa, Unix-pohjaista ohjelmaa, jota käytetään siirrettävien PixMap-kuvien (.PPM-tiedostojen) jakamiseen .Y-, .U- ja V-tiedostoiksi; tallentaa kuvan V-krominanssin tai värin komponentin; voidaan palauttaa takaisin alkuperäiseen PPM-tiedostoon käyttämällä yuvsplittoppm-apuohjelmaa. Lisää tietoa

V-tiedostot tallentavat kuvadatan Stanford MPEG-koodekin edellyttämässä muodossa.

HUOMAUTUS: Yuvsplittoppm- ja ppmtoyuvsplit-komentorivin apuohjelmat ovat osa netpbm-Unix-pohjaista grafiikkapakettia.

V-tiedostoja avaavat ohjelmat

Windows

Microsoft Windows Media Player, jossa on YUV Genius -paketti Apple QuickTime Player, jossa on QuickTime YUV-koodekki

mac	Apple QuickTime Player, jossa on QuickTime YUV-koodekki

Linux

yuvsplittoppm ppmtoyuvsplit

Päivitetty 26.5.2010

Tiedostotyyppi 3Coq lähdekooditiedosto

Kehittäjä	ADT Coq
Suosio	2.9 (7 ääntä)
Kategoria	Kehittäjän tiedostot
Muoto	Teksti X Teksti Tämä tiedosto tallennetaan tekstimuodossa. Voit avata ja tarkastella tämän tiedoston sisältöä tekstieditorilla.

.V Tiedostoyhdistys 3

Coqin käyttämä kehittäjätiedosto, sovellus, jota käytetään matemaattisten todisteiden kehittämiseen; tallennetaan tekstimuodossa ja sisältää Gallina-kieleen rakennetun lähdekoodin, joka perustuu ilmaisevaan muodolliseen kieleen, jota kutsutaan induktiivisten rakenteiden Calculukseksi (CIC); käytetään matemaattisten todisteiden tallentamiseen. Lisää tietoa

Kehittäjät määrittävät V-tiedostoissa ilmaisuja Gallina-"kansankielellä", joka on Gallinan kielen syntaksi tai komentojen kieli. Kun V-tiedostot on kirjoitettu, ne voidaan koota ja käyttää Coq Proof Assistant IDE: llä, jolla on ohjelman nimi CoqIDE.

HUOMAUTUS: Coqin kehitystyötä, jota aiemmin ylläpitivät The Coq Development Team, ylläpitää nyt ADT Coq. ADT tarkoittaa "Teknologisen kehityksen toimintaa".

V-tiedostoja avaavat ohjelmat

Windows

CoqIDE

mac

CoqIDE

Linux

CoqIDE

Päivitetty 12.6.2010

Tietoja V-tiedostoista

Tavoitteenamme on auttaa sinua ymmärtämään, mitä tiedostoa * .v-päätteellä on ja miten se avataan.

FileInfo-tiimi on tutkinut ja tarkistanut kaikki tällä sivulla luetellut tiedostotyypit, tiedostomuodon kuvaukset ja ohjelmat. Pyrimme 100%: n tarkkuuteen ja julkaisemme vain tietoja tiedostomuodoista, jotka olemme testanneet ja vahvistaneet.

Jos haluat ehdottaa tämän sivun lisäyksiä tai päivityksiä, ilmoita siitä meille.