Kapalı Ücretsiz ve Açık Kaynak Verilog Kodu Kapsama Analizi Aracı
Şimdi İndirin

Kapalı Sıralama ve Özet

Kapalı Etiketler

Okumak üretmek analiz etmek Verilog dosyasını oku Verilog Dosya Analizi cDD oluşturmak

Kapalı Açıklama

Ücretsiz ve Açık Kaynak Verilog Kodu Kapsama Analizi Aracı Kapalı, verilog tasarım dosyalarında ve bir VCD veya LXT biçimlendirilmiş bir tanı çalıştırılmış dumpfile okur ve puan komutunu kullanarak bir teminat açıklaması veritabanı (CDD) dosyası adı verilen bir veritabanı dosyası oluşturur. Kapsanan SCORE komutu alternatif olarak, bir CDD dosyası oluşturmak için kullanılabilir ve bir testbençinde bir VPI modülü olarak ele alınması için bir verilog modülü, simülasyonla paralel olarak kapsama alanını elde edebilecek. Elde edilen CDD dosyası, birleştirme komutunu kullanarak akışkan kapsama alanı oluşturmak için aynı tasarımdan diğer CDD dosyalarıyla birleştirilebilir. Bir CDD dosyası oluşturulduktan sonra, bir ASCII formatında çeşitli insan tarafından okunabilen kapsama raporları oluşturmak için kapsanan kullanabilir veya Rapor komutunu kullanarak kapsama sonuçlarına etkileşimli olarak bakmak için kapsanan GUI'yi kullanabilir. Ek olarak, kapsanan puan komutunun bir parçası olarak, tasarım dosyalarında yarış durumu olanakları bulunur ve herhangi bir hata olarak işaretlenebilir; Yarış koşullarını hata olarak belirleyerek, kapsanan bir yarış durumu denetleyicisi olarak da kullanılabilir. Halen Verilog-1995, Verilog-2001 Verilog-1995, Verilog-2001'i (şu anda yapılandırma blokları hariç) ve bazı sistemverilog yapılarını desteklemektedir. Üretilen metrikler aşağıdakileri içerir: · Çizgi kapsamı · Toggle kapsama alanı · Bellek kapsamı · Kombinasyonel mantık kapsama alanı · FSM durum ve durum geçiş kapsama alanı · iddia (fonksiyonel) Kapsama Bu sürümde yeni olanlar: [Changelog · $ Rastgele ve $ Urandom Sistemi için Destek Ekleme, Engellenmiş Kapsama Aramaları. · Kararlı 0.7.5 sürümüne yapılan tüm düzeltmeleri içerir. · $ Değeriniz için destek ekleme $ plusargs sistemi, belirtilen kapsama çağrıları. · İfadelerde oluşturulan sorunu çözme. · Engelli kapsama akışı ve puan seçenekleri için kullanıcı belgeleri eklendi. · Virgülle ayrılmış atama ifadelerini kesen oluşturulan kodla sabitleme sorunu. · Dahili olarak yapılan yollarla yapılan kod basitleştirme ve performans iyileştirme. · Simülasyon işlevlerine gereksiz aramaları kaldırılmış kod kapsamını kullanırken (bu bir performans cezası ekledi). · Üretilen sinyallerin boyutlandırılması için ensifine kod üretecinin geliştirilmiş performansı. · Bellek kapsamı ile ilgili sabit bellek indeksleme sorunları. · Sınırlı kod kapsamı için statik fonksiyon ve statik üçlü operatörleri için destek eklendi. · Statik olarak kullanılan işlevleri farklılaştırmak için kod eklendi ve belirtilmiş kod kapsama birikimi için doğru olanı yapmamak için. · Bağlantılı kod üretecinin sonucu değiştirmemesini doğrulamak için, entişik olmayan ve altı tasarım dosyalarından çöp dosyası çıktısını kontrol eden VCD_Diff betiği eklendi. Bu kontrol şimdi tüm engelli regresyonun bir parçasıdır. · VCD dosya okuyucusunda birkaç performans iyileştirmeleri yaptı. Okuyucu şimdi% 10-20 daha hızlı. · Verilatör regresyonları için destek eklendi ve verilatör formatına birkaç tanılama. · Engelli kapsama verilerini içeren bir VCD dosyasını okuyan bir CDD dosyasının, bir CDD dosyasının, bir VCD dosyasını içeren bir CDD dosyasının kullanıcıya bir hata yayar ve zarif bir şekilde çıkmasını sağlar. · Kullanıcının oluşturulması gereken sığ bir kombinasyon kapsama alanı derinliği belirtmesine izin vermek için -inLine-tomb-derinlik skoru seçeneği eklendi - Engelli simülasyon ve kapsama performansını iyileştirmek. · Verilator çalışmaları için, bunları VCD dosyalarına çıktı olmaktan çıkarmak için ara kombinasyonel mantık ekspresyon sinyallerinin etrafında pragmalar yerleştirdi. Bu, verilator çalışmaları için simülasyon ve kapsam performansını artırır (bu sinyalleri otomatik olarak Callback'ten kaldıran bir VPI'li olan diğer simülatörler). · Daha fazla simülasyon performansı iyileştirmeleri için önceden hesaplanmış ara ifade değerli bazı gerçek kodların kodunun yerine getirilmesi. · Etkinlik kapsamının diğer kombuarlar mantık kapsamından bağımsız olarak açılmasını / kapanmasını sağlayan "E" seçeneğine "E" seçeneği eklendi. Bu, daha fazla simülasyon ve kapsam performansı iyileştirmelerine izin verir (özellikle verilatör çalışması için). · Ödül kapsamı gerekli olmadığında, kod neslinin iddia dosyaları için atlanmasına neden olan optimizasyon eklendi. · Tam regresyonlar şimdi tüm kod değişiklikleriyle temiz bir şekilde çalışır.

Kapalı İlgili Yazılım