İçerik

• Dosya Türü 1Verilog Kaynak Kod Dosyası
• Metin
• Bir V dosyası nedir?
• 2Subsampled Raw YUV Görüntüsü
• İkili
• .V Dosya Derneği 2
• Dosya Türü 3Coq Kaynak Kod Dosyası
• Metin
• .V Dosya Derneği 3
• V Dosyaları Hakkında

Dosya Türü 1Verilog Kaynak Kod Dosyası

Geliştirici	Accellera
Popülerlik	3,6 (25 Oy)
Kategori	Geliştirici Dosyaları
Biçim	Metin X Metin Bu dosya düz metin biçiminde kaydedilir. Bir metin editörü kullanarak bu dosyanın içeriğini açabilir ve görüntüleyebilirsiniz.

Bir V dosyası nedir?

V dosya uzantılı bir dosya, Verilog donanım açıklama dilinde (HDL) yazılmış bir kaynak kod dosyası olabilir. Elektronik sistemin bir modelini belirtir. V dosyaları genellikle Verilog 2005 kaynak kodunu içerir, ancak Verilog-95 veya Verilog 2001 gibi daha eski Verilog standartlarından birini de kullanabilirler. Daha Fazla Bilgi

Verilog 2005, önceki standardı oluşturan ancak yeni tasarım modelleme özellikleri ekleyen SystemVerilog'un yerini aldı. SystemVerilog kaynak dosyaları bir .SV dosya uzantısına sahiptir.

NOT: Verilog kaynak dosyaları düz metin biçiminde kaydedilir ve Notepad ++ gibi bir metin düzenleyicide açılabilir.

ÜCRETSİZ İNDİR File Viewer Plus ile .V dosyalarını açın ve görüntüleyin. V dosyalarını açan programlar

, Windows

Dosya Görüntüleyici Plus Notepad ++ Xilinx ISE Design Suite Icarus Verilog Verilog 2005 çözümleyici Cadence Tasarım Sistemleri Girişimi SYNAPTICAD VeriLogger Extreme Mentor Grafik ModelleriSim

Mac	Icarus Verilog

Linux

Xilinx ISE Design Suite Verilog 2005 çözümleyici Icarus Verilog

27.07.2018

2Subsampled Raw YUV Görüntüsü

Geliştirici	N / A
Popülerlik	3.3 (9 Oylar)
Kategori	Raster Görüntü Dosyaları
Biçim	İkili X İkili Bu dosya, içeriğini okumak için belirli bir program gerektiren bir ikili biçimde kaydedilir.

.V Dosya Derneği 2

Portable PixMap görüntülerini (.PPM dosyaları) .Y, .U ve V dosyalarına bölmek için kullanılan Unix tabanlı bir program olan ppmtoyuvsplit tarafından oluşturulan Ham "V" görüntü dosyası; görüntü için "V" renklilik veya renk bileşenini saklar; yuvsplittoppm yardımcı programını kullanarak orijinal PPM dosyasına geri yüklenebilir. Daha fazla bilgi

V dosyaları görüntü verilerini Stanford MPEG codec bileşeninin gerektirdiği biçimde depolar.

NOT: Yuvsplittoppm ve ppmtoyuvsplit komut satırı yardımcı programları netpbm Unix tabanlı grafik paketinin bir parçasıdır.

V dosyalarını açan programlar

, Windows

YUV Genius paketi ile birlikte Microsoft Windows Media Player QuickTime YUV kodeki ile Apple QuickTime Oynatıcı

Mac	QuickTime YUV kodeki ile Apple QuickTime Oynatıcı

Linux

yuvsplittoppm ppmtoyuvsplit

26.06.2010

Dosya Türü 3Coq Kaynak Kod Dosyası

Geliştirici	ADT Coq
Popülerlik	2.9 (7 Oy)
Kategori	Geliştirici Dosyaları
Biçim	Metin X Metin Bu dosya düz metin biçiminde kaydedilir. Bir metin editörü kullanarak bu dosyanın içeriğini açabilir ve görüntüleyebilirsiniz.

.V Dosya Derneği 3

Coq tarafından kullanılan, matematiksel kanıtları geliştirmek için kullanılan bir geliştirici dosyası; metin biçiminde kaydedilmiş ve İndüktif Yapıların Hesabı (CIC) olarak adlandırılan etkileyici bir resmi dile dayanan Gallina dilinde oluşturulmuş kaynak kodu içermektedir; matematiksel kanıtları saklamak için kullanılır. Daha fazla bilgi

Geliştiriciler, Gallina dili için sözdizimi veya komut dili olan Gallina "yerel" i kullanarak V dosyalarındaki ifadeleri belirtir. V dosyaları bir kez yazıldığında, CoqIDE program adını taşıyan Coq Proof Assistant IDE ile derlenebilir ve çalıştırılabilir.

NOT: Daha önce Coq Geliştirme Ekibi tarafından sağlanan Coq Geliştirme, şimdi ADT Coq tarafından gerçekleştirilmektedir. ADT, "Teknolojik Gelişme Eylemi" anlamına gelir.

V dosyalarını açan programlar

, Windows

CoqIDE

Mac

CoqIDE

Linux

CoqIDE

12.06.2010

V Dosyaları Hakkında

Amacımız, * .v ekine sahip bir dosyanın ne olduğunu ve nasıl açılacağını anlamanıza yardımcı olmaktır.

Bu sayfada listelenen tüm dosya türleri, dosya biçimi açıklamaları ve yazılım programları, FileInfo ekibi tarafından ayrı ayrı araştırılmış ve doğrulanmıştır. % 100 doğruluk için çabalıyoruz ve yalnızca test ettiğimiz ve doğruladığımız dosya formatları hakkında bilgi yayınlıyoruz.

Bu sayfaya herhangi bir ekleme veya güncelleme önermek isterseniz, lütfen bize bildirin.