.V Failo plėtinys

Autorius: Randy Alexander
Kūrybos Data: 24 Balandis 2021
Atnaujinimo Data: 25 Balandis 2024
Anonim
Change File Extension (.txt .csv .xlsx .zip) in Windows
Video.: Change File Extension (.txt .csv .xlsx .zip) in Windows

Turinys

Failo tipas 1Verilog šaltinio kodo failas

ProgramuotojasAccellera
Populiarumas 3.6 (25 balsai)
KategorijaKūrėjo failai
FormatasX tekstas

Tekstas

Šis failas išsaugomas paprasto teksto formatu. Galite atidaryti ir peržiūrėti šio failo turinį naudodami teksto redaktorių.


Kas yra V failas?

Failas su V failo plėtiniu gali būti pirminio kodo failas, parašytas Verilog aparatūros aprašo kalba (HDL). Jis nurodo elektroninės sistemos modelį. V failuose paprastai yra Verilog 2005 šaltinio kodas, tačiau jie taip pat gali naudoti vieną iš senesnių Verilog standartų, pvz., Verilog-95 arba Verilog 2001. Daugiau informacijos

„Verilog 2005“ pakeitė „SystemVerilog“, kuri remiasi ankstesniu standartu, tačiau papildo naujas dizaino modeliavimo funkcijas. SystemVerilog šaltinio failai turi .SV failo plėtinį.

PASTABA: Verilog šaltinio failai išsaugomi paprasto teksto formatu ir gali būti atidaryti teksto redaktoriuje, pvz., „Notepad ++“.

NEMOKAMAI LEIDIMAI Atidarykite ir peržiūrėkite .V failus su „File Viewer Plus“. Programos, atidarančios V failus
„Windows“
„File Viewer Plus“
Notepad ++
„Xilinx ISE Design Suite“
Icarus Verilog
Verilog 2005 analizatorius
„Cadence Design Systems Incisive“
SYNAPTICAD VeriLogger Extreme
„Mentor Graphics ModelSim“
„Mac“
Icarus Verilog
Linux
„Xilinx ISE Design Suite“
Verilog 2005 analizatorius
Icarus Verilog
Atnaujinta 2012-07-27

Failo tipas 2Subsampled Raw YUV Image

ProgramuotojasNėra
Populiarumas 3.3 (9 balsai)
KategorijaRastriniai vaizdo failai
FormatasBinarinis X

Dvejetainis

Šis failas išsaugomas dvejetainiu formatu, kuriam reikalinga speciali programa, skirta jos turiniui perskaityti.


.V failų asociacija 2

Neapdorotas „V“ vaizdo failas, sukurtas „ppmtoyuvsplit“, „Unix“ pagrindu sukurta programa, naudojama perkelti „Portable PixMap“ vaizdus (.PPM failus) į .Y, .U ir V failus; išsaugo „V“ chromansą arba spalvą komponentui; gali būti atkurtas atgal į pradinį PPM failą naudojant yuvsplittoppm įrankį. Daugiau informacijos

V failai saugo vaizdo duomenis formatu, kurio reikalauja „Stanford“ MPEG kodekas.

PASTABA: „Yuvsplittoppm“ ir „ppmtoyuvsplit“ komandų eilutės komunalinės paslaugos yra „netpbm Unix“ grafikos paketo dalis.

Programos, atidarančios V failus
„Windows“
„Microsoft Windows Media Player“ su „YUV Genius“ paketu
„Apple QuickTime“ grotuvas su „QuickTime YUV“ kodeku
„Mac“
„Apple QuickTime“ grotuvas su „QuickTime YUV“ kodeku
Linux
yuvsplittoppm
ppmtoyuvsplit
Atnaujinta 2010-05-26

Failo tipas 3Coq šaltinio kodo failas

ProgramuotojasADT Coq
Populiarumas 2.9 (7 balsai)
KategorijaKūrėjo failai
FormatasX tekstas

Tekstas

Šis failas išsaugomas paprasto teksto formatu. Galite atidaryti ir peržiūrėti šio failo turinį naudodami teksto redaktorių.


.V failų asociacija 3

„Coq“ sukurtas kūrėjo failas - programa, naudojama matematiniams įrodymams kurti; išsaugotas teksto formatu ir jame yra „Gallina“ kalba sukurtas pradinis kodas, pagrįstas ekspresyvia oficialiąja kalba, vadinama „Indukcinių konstrukcijų skaičiuokle“ (CIC); naudojami matematiniams įrodymams saugoti. Daugiau informacijos

Kūrėjai nurodo V failų išraiškas naudodamiesi Gallina „vernacular“, kuris yra Gallina kalbos sintaksė arba komandų kalba. Kai V failai yra parašyti, jie gali būti sukompiliuoti ir paleisti „Coq Proof Assistant IDE“, kuris turi programos pavadinimą CoqIDE.

PASTABA: „Coq“ plėtra, kurią anksčiau palaikė „Coq Development Team“, dabar yra ADT Coq. ADT reiškia „Veiksmai technologinei plėtrai“.

Programos, atidarančios V failus
„Windows“
CoqIDE
„Mac“
CoqIDE
Linux
CoqIDE
Atnaujinta 2010 12 12

Apie „V“ failus

Mūsų tikslas - padėti jums suprasti, ką failas su * .v sufiksu ir kaip jį atidaryti.

Visus šiame puslapyje išvardytus failų tipus, failų formato aprašymus ir programinę įrangą FileInfo komanda individualiai ištyrė ir patikrino. Mes siekiame 100% tikslumo ir skelbiame informaciją tik apie išbandytus ir patvirtintus failų formatus.

Jei norite pasiūlyti šio puslapio papildymus ar atnaujinimus, praneškite mums.

.BRW failo plėtinys

Robert Simon

Balandis 2024

Programuotoja„Calyx“ programinė įranga Populiaruma 3,0 (3 balai) KategorijaDuomenų failai FormataBinarini X Ši faila išaugoma dvejetainiu formatu, kuriam reikalinga peciali programa, kirta jo turiniu...

.BRX failo plėtinys

Robert Simon

Balandis 2024

ProgramuotojaQualcomm Populiaruma 3,0 (3 balai) KategorijaKūrėjo failai FormataN / A X Failų formato kategorijo apima dvejetainį, tektinį, XML ir zip. Šio failo tipo formata nebuvo nutatyta. Nenaudoj...

Nauji Leidiniai