.v Dosya uzantısı
Dosya tipi1Verilog Source Code File
| geliştirici | Accellera |
| kategori | Developer Files |
| biçim | Text |
Nedir V dosya?
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.
Verilog 2005, önceki standardı oluşturan, ancak yeni tasarım modelleme özellikleri ekleyen SystemVerilog'un yerini aldı. SystemVerilog kaynak dosyaları .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.
| Windows |
|
| Linux |
|
Dosya tipi2Subsampled Raw YUV Image
| geliştirici | N/A |
| kategori | Raster Image Files |
| biçim | Binary |
.V seçenek numarası 2
Taşınabilir 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.
V dosyaları görüntü verilerini Stanford MPEG codec bileşeni tarafından istenen biçimde saklar.
NOT: yuvsplittoppm ve ppmtoyuvsplit komut satırı yardımcı programları netpbm Unix tabanlı grafik paketinin bir parçasıdır.
| Windows |
|
| Linux |
|
Dosya tipi3Coq Source Code File
| geliştirici | ADT Coq |
| kategori | Developer Files |
| biçim | Text |
.V seçenek numarası 3
Matematiksel kanıtları geliştirmek için kullanılan bir uygulama olan Coq tarafından kullanılan geliştirici dosyası; metin biçiminde kaydedilmiş ve İndüktif Yapıların Hesabı (CIC) olarak adlandırılan etkileyici bir resmi dili temel alan Gallina dilinde oluşturulmuş kaynak kodu içermektedir; matematiksel kanıtları saklamak için kullanılır.
Geliştiriciler, Gallina dili için sözdizimi veya komut dili olan Gallina "vernacular" ı kullanarak V dosyalarındaki ifadeleri belirtir. V dosyaları bir kez yazıldığında, bunlar 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 tutulan Coq Geliştirme, şimdi ADT Coq tarafından yapılmaktadır. ADT, "Teknolojik Gelişme Eylemi" anlamına gelir.
| Linux |
|