kaplı - Bulutta Çevrimiçi

Program:

ADI

Kapsamlı - Verilog Code Kapsam Analizörü

SÖZDİZİMİ

kaplı [global_options] Gol [seçenekleri]
kaplı [global_options] birleştirme [seçenekleri] Mevcut_veritabanı veritabanı_to_merge+
kaplı [global_options] rapor [seçenekleri] veritabanı_dosyası
kaplı [global_options] rütbe [seçenekleri] veritabanı_to_rank veritabanı_to_rank+
kaplı [global_options] dışlamak [seçenekleri] dışlama_kimliği+ veritabanı_dosyası

TANIM

Kaplı nasıl yapılacağını belirlemek için yararlı olabilecek bir Verilog kod kapsamı analiz aracıdır.
iyi bir teşhis test paketi, test edilen tasarımı kapsıyor. Kapsanan okumalar
Bir tanılama çalışmasından Verilog tasarım dosyaları ve bir VCD, LXT2 veya FST formatlı döküm dosyası ve
kullanarak Kapsam Açıklama Veritabanı (CDD) dosyası adı verilen bir veritabanı dosyası oluşturur.
puan komutu. Covered'in puan komutu alternatif olarak bir CDD dosyası oluşturmak için kullanılabilir
ve bir test tezgahında Covered'ı VPI modülü olarak kullanmak için bir Verilog modülü.
simülasyona paralel olarak kapsama bilgisi (bkz. KULLANMA KAPALI AS A VPI MODÜL.)
Ortaya çıkan CDD dosyası, aynı tasarımdaki diğer CDD dosyalarıyla birleştirilebilir.
birleştirme komutunu kullanarak birikmiş kapsama. Bir CDD dosyası oluşturulduktan sonra, kullanıcı
ASCII formatında çeşitli insan tarafından okunabilir kapsam raporları oluşturmak için Kapsanan'ı kullanın veya
Rapor komutunu kullanarak kapsam sonuçlarına etkileşimli olarak bakmak için Covered'in GUI'si. Eğer
Kullanıcının kapsam dışında bırakmak istediği, kapsanmayan kapsama noktaları bulunursa, bu
komut satırı hariç tutma komutuyla veya GUI içinde ele alınabilir. birden fazla olduğunda
CDD dosyaları aynı tasarımdan oluşturulur, kullanıcı bir kapsama sıralaması elde edebilir
regresyon testi için ideal bir sıra belirlemek ve anlamak için bu CDD dosyaları
hangi CDD dosyalarının yenilerini yakalayamamaları nedeniyle regresyonlardan hariç tutulabileceği
kapsama noktaları. Ek olarak, Covered'in skor komutunun bir parçası olarak, yarış durumu
olasılıklar tasarım dosyalarında bulunur ve yoksayılabilir, uyarı olarak işaretlenebilir
veya hata olarak işaretlendi. Yarış koşulları hata olarak belirtilerek Covered da kullanılabilir
yarış durumu denetleyicisi olarak.

KÜRESEL SEÇENEKLER

Bu seçenekler anahtar kelimeden hemen sonra yer alır. kaplı komut satırında. Onlar
herhangi bir komut için kullanılabilir (hariç -v ve -h) ve aynı etkiye sahip
her vaka.

-B Şaşırtmak. Çıktı almadan önce tasarıma duyarlı tüm adları gizler
kullanıcı tarafından okunabilir biçim. Bu seçenek, çıktıyı sunucuyla paylaşırken kullanışlıdır.
Hata ayıklama amacıyla Covered geliştiricileri.

-D Hata ayıkla. Hata ayıklama aracı sorunları için yararlı bilgileri görüntüleyin. Not: Bu
seçenek artık yalnızca --enable-debug ile kapsandığında kullanılabilir
yapılandırma seçeneği.

-h Yardım. Bu kullanım bilgilerini görüntüleyin.

-P [Dosya]
Profil oluşturma modu. üretecek dahili kaynak kodu profil oluşturucuyu açar.
run komutunun profil oluşturma raporu, belirtilen Dosya veya hayır ise
Dosya adlı bir dosyaya mevcut kapalı.prof. Bu seçenek yalnızca kullanılabilir
eğer --etkinleştir-profil oluşturma Kapsamlı olduğunda yapılandırma seçeneği belirtildi
inşa edilmiş.

-Q Sessiz mod. Tüm çıktıların bastırılmasına neden olur.

-T Ters modu. Uyarı dışında tüm çıktıların bastırılmasına neden olur
mesajlar ve Kapsanan başlık bilgileri.

-v Sürüm. Geçerli Kapalı sürümü görüntüleyin.

KOMUTLAR

Gol için kullanılan veritabanı dosyasını oluşturmak için Verilog dosyalarını ve VCD/LXT2/FST döküm dosyalarını ayrıştırır.
birleştirme ve raporlama.

birleştirme İki veya daha fazla veritabanı dosyasını tek bir dosyada birleştirir.

rapor Veritabanı dosyasından insan tarafından okunabilir kapsam raporları oluşturur veya kapsamı başlatır
GUI'yi rapor et.

rütbe Regresyonları çalıştırmak için ideal bir sıra belirten bir rapor oluşturur ve
Yeni kapsam bilgisi eklemeyen (ve bu nedenle hariç tutulabilen) CDD dosyaları
istenirse regresyonlardan).

dışlamak
Bir veya daha fazla kapsama noktasına izin verir (bir raporda hariç tutma kimlikleriyle tanımlanır
-x seçeneğiyle oluşturulan) hariç tutma özelliklerinin değiştirilmesi (dahil
dahil etmek için hariç tutun veya hariç tutun) ve hariç tutma özelliği hariç olarak ayarlanmışsa,
isteğe bağlı olarak, hariç tutmanın kendisiyle ilişkilendirilmesi ve saklanması için bir nedene izin verin
belirtilen CDD dosyası.

PUAN KOMUT

Skor komutu için aşağıdaki seçenekler geçerlidir:

-A oval OVL onaylarının onay kapsamı için kullanılmasına neden olur. Bu bayrak verilmeli
raporda iddia kapsamı metriklerine ihtiyaç varsa, puan komutuna
Komut.

-cdd veritabanı
-o seçeneğiyle aynı. Puanlanan CDD dosyası puan için bir girdi olduğunda kullanışlıdır
Komut.

-cli [Dosya]
VCD/LXT2/FST döküm dosyası puanlaması sırasında komut satırı hata ayıklayıcısının kullanılmasına neden olur.
If Dosya belirtilirse, bu dosya önceki bir aramada kaydedilen bilgileri içerir.
CLI'de kaydetme ve bu dosyada bulunan geçmişin yeniden oynatılmasına neden olur
CLI komut isteminden önce. Eğer Dosya belirtilmemişse, CLI istemi
simülasyonun başlangıcında hemen kullanılabilir olmalıdır. Bu seçenek yalnızca kullanılabilir
Covered ile yapılandırıldığında --hata ayıklamayı etkinleştir seçeneği.

-tutucu
Bu seçenek belirtilirse, hataya neden olabilecek kod içeren tüm mantık blokları
Potansiyel olarak yanlış kapsama sonuçlarına yol açan kapsam tutarsızlıkları
kapsam değerlendirmesinden çıkarıldı. Ne hakkında daha fazla bilgi için Kullanım Kılavuzuna bakın.
kod türü, kapsam hatalarına neden olabilir.

-dumpvarlar [Dosya]
Bu seçenek -vcd veya -lxt seçenekleri olmadan belirtilirse tasarım ayrıştırılır,
bir CDD dosyası oluşturulur ve adlandırılmış bir üst düzey Verilog modül dosyası Dosya (Eğer bu
değer belirtilir) veya "covered_dump.v" (eğer Dosya belirtilmemiş) oluşturulur.
Bu dosya, bir döküm dosyası oluşturmak için simülatörün derlenmesinde kullanılır.
belirtilen CDD dosyası için kapsam elde etmek için optimize edilmiştir. -vcd veya
-lxt seçenekleri belirtilir, bu seçeneğin etkisi yoktur. için Kullanım Kılavuzuna bakın.
Bu seçeneğin nasıl kullanılacağı hakkında daha fazla bilgi.

-D tanım_adı
Belirtilen adı 1 olarak tanımlar.

-D define_name=değer
Belirtilen adı belirtilen değere tanımlar.

-e blok_adı
Modülün adı, görev, fonksiyon veya adlandırılmış başlangıç/bitiş bloğu puanlanmaz. hepsine neden olur
Bu bloğun altındaki Verilog ağacındaki alt bloklar da puanlanmayacaktır.

-ea Tüm her zaman blokların kapsam için değerlendirilmesini hariç tutar.

-ec Tüm sürekli atamaları kapsam için değerlendirilmekten hariç tutar.

-ei Tüm ilk blokların kapsam için değerlendirilmesini hariç tutar.

-eğer Tüm son blokları kapsama alanı olarak değerlendirmekten hariç tutar.

-ep [isim]
'// Kapsama kapalı' ve '// Kapsama açık' pragmaları arasında bulunan tüm kodları hariç tutar
tasarımın içine gömülüdür. Eğer isim belirtilirse, pragmadaki anahtar kelime
varsayılan "kapsama" yerine bu adla değiştirilerek kullanıcının
diğer araçlarla çelişiyorsa, pragmanın görünümünü değiştirin.

-F modül_adı=[in_expr,]out_expr
Ayrıştırıcıya modülde bulunan FSM'nin nerede bulunacağını gösterir Modül Adı hangi
adlı bir giriş durumu ifadesi var in_expr ve çağrılan çıkış durumu ifadesi
out_expr. Eğer in_expr belirtilmemiş, out_expr hem girdi olarak kullanılır hem de
çıkış durumu ifadesi.

-f Dosya
Ayrıştırılacak ek bağımsız değişkenler içeren dosyanın adı.

-fst Dosya
Tasarımla puanlanacak FST döküm dosyasının adı. -vcd, -lxt veya bu seçenek değilse
kullanıldığında, Covered yalnızca tasarımdan bir başlangıç ​​CDD dosyası oluşturacak ve
tasarımı puanlamaya çalışın.

-g [modül_adı=](1|2|3)
Kullanıcının ayrıştırıcıyı belirli bir Verilog nesliyle sınırlandırmasına izin verir.
belirli bir modül veya tüm tasarım için standart, burada 1=Verilog-1995,
2=Verilog-2001, 3=SistemVerilog. Eğer modül_adı= belirtilirse, ayrıştırıcı
yalnızca bu modül için belirlenmiş Verilog standardı, tasarımın geri kalanının
küresel standardı kullanın. Varsayılan olarak, global standart en son
sürüm (3). Bu seçenek, belirli bir çağrı için birden fazla belirtilebilir.
puan komutu; ancak -g seçeneği global değerden fazlasını belirtiyorsa (örn.
olmadan modül= önek), yalnızca son seçenek değeri kullanılacaktır.

-h Bu yardım bilgilerini görüntüler.

-I rehber
Dahil edilen Verilog dosyalarını bulmak için dizin.

-i örnek isim
Ağacın en üstünde bulunan modüle Verilog hiyerarşik referansı
attı. Kapsamı doğrulamak için modül en üst düzey değilse, bu seçenek gereklidir.
tasarımdaki modül. Belirtilmemişse, -t değer kullanılır.

-lxt Dosya
Tasarımla puanlanacak LXT2 döküm dosyasının adı. -vcd, -fst veya bu seçenek değilse
kullanıldığında, Covered yalnızca tasarımdan bir başlangıç ​​CDD dosyası oluşturacak ve
tasarımı puanlamaya çalışın.

-m mesaj
Kullanıcının bu CDD dosyası hakkında bilgi belirtmesine izin verir. Bu bilgiler
herhangi bir şey ol (boşluk içeren iletiler çift tırnak içine alınmalıdır)
işaretleri), ancak simülasyon argümanları hakkında daha kolay bir şeyler içerebilir.
CDD dosyasını yeniden oluşturmak amacıyla CDD dosyasını simülasyonuna bağlayın.

-o veritabanı
Kapsam bilgilerinin yazılacağı veritabanının adı. Belirtilmemişse, çıktı
veritabanı dosya adı "cov.cdd" olacaktır.

-p Dosya
Ara önişlemci çıktısını depolamak için kullanılan varsayılan dosya adını geçersiz kılar.

-P parametre_scope=değer
Belirtilen parametre üzerinde değer ile bir defparam gerçekleştirir.

-rS Yarış durumu kontrolleri ihlal edildiğinde, rahatsız edici mantık blokları kaldırılır
kapsam değerlendirmesinden ve yarışla ilgili tüm çıktılar bastırılır
durum ihlali. Yarış hakkında daha fazla bilgi için kullanıcı belgelerine bakın
durum kontrol kullanımı.

-rW Yarış durumu kontrolleri ihlal edildiğinde, rahatsız edici mantık blokları kaldırılır
kapsam değerlendirmesinden ve yarış koşulu ihlali çıktısı alınır. Bu
yarış durumu işleme için varsayılan davranış. Daha fazlası için kullanıcı belgelerine bakın
yarış durumu kontrol kullanımı hakkında bilgi.

-tekrar Yarış durumu kontrolleri ihlal edildiğinde, sebep çıktı ve puanlama sona erer.
hemen. Yarış durumu hakkında daha fazla bilgi için kullanıcı belgelerine bakın
kullanımı kontrol etmek.

-rI[=modül isim]
If modül isim belirtilmemişse, yarış durumu kontrolü tamamen atlanır.
tüm tasarım. Eğer modül isim belirtilir, yarış durumu denetimi atlanır
belirtilen modül için Yarış hakkında daha fazla bilgi için kullanıcı belgelerine bakın
durum kontrol kullanımı.

-rp[=isim])
Yarış durumu kontrolünden belirli kodları yok saymak için gömülü pragmalar kullanır
dikkate (eğer isim pragma anahtar sözcüğü olarak kullanıldığı belirtilir). kullanıcıya bakın
yarış durumu denetimi kullanımı hakkında daha fazla bilgi için belgeler.

-S Simülasyon tamamlandıktan sonra simülasyon istatistiklerini verir. Bu bilgi
şu anda yalnızca Covered geliştiricileri için kullanışlıdır.

-t Üst düzey modül
Ölçülecek en üstteki modülün modül adını belirtir. Bunu not et
bu modülün simülatördeki en üst modül olması gerekmez. Bu alan
skor komutuna yapılan tüm çağrılar için gereklidir.

-top_ts zaman ölçeği
Bu seçenek yalnızca -vpi veya -dumpvars seçenekleri belirtildiğinde geçerlidir.
Bu seçenek, kullanıcının oluşturulan Verilog modülü için bir zaman ölçeği belirlemesine olanak tanır.
-vpi/-dumpvars seçeneğiyle oluşturulur. Bu seçenek belirtilmemişse, hayır
oluşturulan modül için zaman ölçeği oluşturulacaktır. Değeri zaman ölçeği is
aşağıdaki gibi belirtilmiştir:

(1|10|100)(s|ms|us|ns|ps|fs)/(1|10|100)(s|ms|us|ns|ps|fs)

Çeşitli değerler arasında boşluk gerekiyorsa, tüm içeriğini yerleştirin.
zaman ölçeği çift ​​tırnak içinde.

-ts numara
Puanlama gerçekleştiğinde, bu seçenek kullanıcının simülatörün ne kadar mesafe kat ettiğini görmesini sağlar.
mevcut zaman adımını standart çıktıya çıkararak ilerledi. Değeri
numara çıktı almadan önce kaç zaman adımının simüle edilmesine izin verildiğini belirtir
geçerli zaman adımı (çıkış akışına daha az çağrı yapılmasına neden olur).

-T (min|tip|maks)
Formda bir gecikme ifadesi ile karşılaşıldığında hangi değerin kullanılacağını belirtir:
min:tip:maks. Bu seçenek belirtilmezse, varsayılan olarak 'tip' seçimi kullanılır.

-v Dosya
Puanlanacak belirli Verilog dosyasının adı.

-VCD Dosya
Tasarımla puanlanacak VCD döküm dosyasının adı. -lxt, -fst veya bu seçenek değilse
kullanıldığında, Covered yalnızca tasarımdan bir başlangıç ​​CDD dosyası oluşturacak ve
tasarımı puanlamaya çalışın.

-vpi [Dosya]
Bu seçenek -vcd, -lxt veya -fst seçenekleri olmadan belirtilirse, tasarım
ayrıştırılır, bir CDD dosyası oluşturulur ve adlandırılmış bir üst düzey Verilog modül dosyası Dosya
(bu değer belirtilirse) veya "covered_vpi.v" (eğer Dosya belirtilmemiş)
adlı bir PLI tablo dosyasıyla birlikte oluşturulur. Dosya.ta b veya "covered_vpi.v.ta b".
Bu dosyaların her ikisi de Covered'ı kullanmak için simülatörün derlenmesinde kullanılır.
bir VPI modülü. -vcd, -lxt veya -fst seçeneklerinden biri belirtilmişse, bu seçenek
etkisi yoktur.

-Wignore
Kod ayrıştırma ve simülasyon sırasında uyarıların çıktısını bastırın.

-y rehber
Belirtilmemiş Verilog dosyalarını bulmak için dizin.

+libext+.uzantı[+.uzantı]*+
Puanlamaya izin vermek için Verilog dosyalarının uzantıları.

BİRLEŞTİRMEK KOMUT

Birleştirme komutu için aşağıdaki seçenekler geçerlidir:

-d Dosya
Dahil edilecek CDD dosyalarının aranacağı dizin. Bu seçenek birlikte kullanılır
ile -harici belirlemek için kullanılacak dosya uzantısını belirten seçenek
dizindeki hangi dosyalar CDD dosyalarıdır.

-er (ilk|son|herşey|yeni|eski)
Dışlama nedeni çözümlemesinin nasıl işleneceğini belirtir. İki veya daha fazla CDD dosyası varsa
birleştirilen aynı kapsama noktası için belirtilen hariç tutma nedenlerine sahipse,
hariç tutma nedeninin çözülmesi gerekiyor (aynı dize değeri olmadığı sürece). Eğer
bu seçenek belirtilmez ve bir çakışma bulunursa, Kapsanan etkileşimli olarak
nasıl ele alınacağına dair her bir hariç tutma için girdi isteyin. Bu seçenek ise
belirtilen, Covered'a tüm dışlama nedeni çakışmalarının nasıl ele alınacağını söyler. NS
değerler aşağıdaki gibidir:.br

ilk - İlk hariç tutma nedenini içeren CDD dosyası kullanılır.

son - Son dışlama nedenini içeren CDD dosyası kullanılır.

herşey - Tüm hariç tutma nedenleri kullanılır (birleştirilmiş).

yeni - Belirtilen en yeni hariç tutma nedenini kullanın.

eski - Belirtilen en eski hariç tutma nedenini kullanın.

-harici uzatma
İle birlikte kullanılır -d seçenek. Eğer hayırsa -harici seçenekler üzerinde belirtilmiştir
komut satırında varsayılan '.cdd' değeri kullanılır. Bir noktanın (.) olması gerektiğini unutmayın.
Belirtilmek.

-f Dosya
Ayrıştırılacak ek bağımsız değişkenler içeren dosyanın adı.

-h Bu yardım bilgilerini görüntüler.

-m mesaj
Kullanıcının bu CDD dosyası hakkında bilgi belirtmesine izin verir. Bu bilgiler
herhangi bir şey ol (boşluk içeren iletiler çift tırnak içine alınmalıdır)
işaretleri).

-o Dosya
Yeni veritabanının çıkarılacağı dosya. Bu argüman belirtilmezse,
Mevcut_veritabanı çıktı veritabanı adı olarak kullanılır.

BİLDİRİN KOMUT

Rapor komutuyla aşağıdaki seçenekler geçerlidir:

-b Birleşimsel mantık ayrıntılı çıktı bildirilirse ve ifade bir vektörse
işlem, bu seçenek, kapsama bilgisini bit düzeyinde verir.

-c If -v belirtilir, yalnızca kapsanan metrikleri görüntüler. Varsayılan, açıkta görüntülemektir
sadece bilgi.

-d (s|d|v)
Kapsam raporu bilgisinde sağlanacak ayrıntı düzeyi (s = özet, d =
ayrıntılı, v = ayrıntılı). Varsayılan özettir.

-e Tüm hariç tutulan kapsama noktalarını, belirtilen herhangi biriyle birlikte rapor dosyasına çıkarır.
hariç tutma nedenleri eğer -d d or -d v seçenekler belirtilir.

-f Dosya
Ayrıştırılacak ek bağımsız değişkenler içeren dosyanın adı.

-h Bu yardım bilgilerini görüntüler.

-i Modül yerine örnekler için kapsam bilgisi sağlar.

-m [l][t][c][f][r][a][m]
Raporlanacak metrik türleri. l=line, t=toggle, c=kombinasyonel mantık, f=FSM durumu
ve durum geçişi, r=yarış koşulları, a=onaylama, m=hafıza. Varsayılan ltcf.

-o Dosya
Rapor bilgilerinin çıktısı için dosya. Varsayılan standart çıktıdır.

-s Kapsam bilgisi içermeyen modüllerin/örneklerin çıktı alınmasını engeller
rapora. Potansiyel olarak anlamsız bilgilerin ortadan kaldırılmasına yardımcı olmak için kullanılır.
rapor.

-v Kullanımdan kaldırıldı. '-dd' veya '-d v' ile değiştirildi.

-görünüm Etkileşimli kapsama raporlaması için GUI arabirimini başlatır.

-w (numara)
Verilog çıktısı almak için kullanılabilecek maksimum çizgi genişliğini (karakter olarak) belirtir
bilgi. Bu seçenek belirtilmezse, rapordaki tüm Verilog kodları
orijinal Verilog kodunda belirtilenle aynı biçimlendirmeyi koruyun. Eğer bu
seçeneği belirtilirse, Verilog kodu, geçerli olanın çoğunu kullanmak için biçimlendirilir.
mümkün olduğunca satır, satır maksimum satır genişliğine ulaştığında metni kaydırır. NS
varsayılan maksimum çizgi genişliği 115 karakterdir (sayı yoksa bu değer kullanılır
-w seçeneğiyle belirtilir). -w seçeneği ile bir sayı belirtilmişse, bu
değer maksimum çizgi genişliği için kullanılır.

-x Kapsam dahilindeki tüm kapsanmayan ve hariç tutulan kapsama noktalarının hariç tutma kimliklerini çıkarır.
kapsama noktasının ilişkili ayrıntılı çıktısından önce parantez. NS
hariç tutma kimlikleri, hariç tutma yoluyla kapsama noktalarını hariç tutmak/dahil etmek için kullanılabilir
Komut.

RANK KOMUT

Aşağıdaki seçenekler rank komutuyla geçerlidir:

-d Dosya
Dahil edilecek CDD dosyalarının aranacağı dizin. Bu seçenek birlikte kullanılır
ile -harici belirlemek için kullanılacak dosya uzantısını belirten seçenek
dizindeki hangi dosyalar CDD dosyalarıdır.

derinlik numara
Her kapsama noktasına ulaşmak için gereken minimum CDD dosyası sayısını belirtir. NS
değeri numara sıfırdan büyük olmalıdır. Varsayılan 1'dir.

-harici uzatma
İle birlikte kullanılır -d seçenek. Eğer hayırsa -harici seçenekler üzerinde belirtilmiştir
komut satırında varsayılan '.cdd' değeri kullanılır. Bir noktanın (.) olması gerektiğini unutmayın.
Belirtilmek.

-f Dosya
Ayrıştırılacak ek bağımsız değişkenler içeren dosyanın adı.

-h Rank komutu için yardım bilgilerini görüntüler.

-yalnızca isimler
Belirtilirse, yalnızca programda çalıştırılması gereken gerekli CDD dosya adlarının çıktısını verir.
çalıştırılmaları gerekir. Bu seçenek ayarlanmazsa, rapor stili çıktı
ek bilgilerle sağlanır. Bu seçeneğin komut dosyalarında faydalı olması amaçlanmıştır.
yalnızca CDD dosya adlarının çıktı olarak çalışmasını ister.

-o Dosya
Sıralama bilgilerinin çıkarılacağı dosyanın adı. Varsayılan standart çıktıdır.

-gerekli-cdd Dosya
Sıralamak için gerekli bir CDD olarak kabul edilmesi gereken CDD'nin adı (yani,
herhangi bir nedenle hariç tutulmuştur).

-gerekli-liste Dosya
Gerekli CDD'ler olarak kabul edilmesi gereken CDD'lerin listesini içeren bir dosyanın adı
rütbesine. Dosya adları boşluk veya yeni satır karakterleriyle ayrılmalıdır.
dosyanın içinde.

-v Rank komutu çalıştırıldığında ayrıntılı çıktının görüntülenmesine neden olur. çıktı verir
Sıralama algoritmasının farklı aşamalarının her biri hakkında teşhis bilgisi
çalışma zamanı, dahil edilen/hariç tutulan CDD dosyalarının sayısı ve kapsam sayısı dahil
Her aşamada dereceli CDD'lerin ulaştığı puanlar. Bu bilgi şu anlama gelir
sıralama algoritması ve performansıyla ilgilenenler için yararlıdır.

-ağırlık iddiası numara
Benzersiz olmayanı sıralamak için kullanılan iddia kapsamı için göreli bir ağırlık belirtir
kapsama noktaları. Değeri numara kullanılan değerlerle orantılıdır.
-ağırlık geçişi, -ağırlık-hafızası, -ağırlık-tarak, -ağırlık-fsm ve -ağırlık çizgisi rütbe
komut seçenekleri.

-ağırlık-tarak numara
Sıralamak için kullanılan birleşik mantık kapsamı için göreli bir ağırlık belirtir
benzersiz olmayan kapsama noktaları. Değeri numara kullanılan değerlere göre
the -ağırlık geçişi, -ağırlık-hafızası, -ağırlık iddiası, -ağırlık-fsm ve -ağırlık çizgisi
sıra komut seçenekleri.

-ağırlık-fsm numara
için kullanılan FSM durumu ve durum geçiş kapsamı için göreli bir ağırlık belirtir.
benzersiz olmayan kapsama noktalarını sıralayın. Değeri numara değerlere göredir
kullanılan -ağırlık geçişi, -ağırlık-hafızası, -ağırlık-tarak, -ağırlık iddiası ve
-ağırlık çizgisi sıra komut seçenekleri.

-ağırlık çizgisi numara
Benzersiz olmayan kapsamı sıralamak için kullanılan hat kapsamı için göreli bir ağırlık belirtir
puan. Değeri numara kullanılan değerlerle orantılıdır. -ağırlık geçişi,
-ağırlık-hafızası, -ağırlık-tarak, -ağırlık-fsm ve -ağırlık iddiası sıra komut seçenekleri.

-ağırlık-hafızası numara
Benzersiz olmayan kapsamı sıralamak için kullanılan bellek kapsamı için göreli bir ağırlık belirtir
puan. Değeri numara kullanılan değerlerle orantılıdır. -ağırlık geçişi,
-ağırlık çizgisi, -ağırlık-tarak, -ağırlık-fsm ve -ağırlık iddiası sıra komut seçenekleri.

-ağırlık geçişi numara
Benzersiz olmayan kapsamı sıralamak için kullanılan geçiş kapsamı için göreli bir ağırlık belirtir
puan. Değeri numara kullanılan değerlerle orantılıdır. -ağırlık-hafızası,
-ağırlık çizgisi, -ağırlık-tarak, -ağırlık-fsm ve -ağırlık iddiası sıra komut seçenekleri.

HARİÇ TUT KOMUT

Aşağıdaki seçenekler, dışlama komutuyla geçerlidir:

-f Dosya
Dışlama komutu için daha fazla seçenek içeren bir dosyanın adını belirtir.
Bu seçenek, telefona yapılan tek bir arama için gerektiği kadar belirtilebilir.
komutu hariç tut.

-h Dışlama komutu için kullanım bilgilerini üretir.

-m Bir dışlama mesajının, giden herhangi bir kapsama noktasıyla ilişkilendirilmesine izin verir.
dahil edilen durumdan hariç tutulan duruma. karşılayan her kapsama noktası için
Bu gereksinim, kullanıcıdan bir neden girmesi istenecektir. nedeni olabilir
herhangi bir uzunluk ve herhangi bir sayıda satır; ancak, tüm biçimlendirme karakterleri (örn.
yeni satırlar, sekmeler, fazladan boşluklar vb.) kaldırılacak ve tek bir satırla değiştirilecektir.
daha sonra görüntülendiğinde boşluk. Bir mesajın girişini bitirmek için bir dönüşe basın,
tek bir nokta (.) karakteri girin ve tekrar geri dön tuşuna basın. son dönem
karakter, hariç tutma mesajının bir parçası olmayacaktır.

-p Belirtilen tüm kapsama noktalarının mevcut dışlama durumlarını yazdırmasına ve
hariç tutma nedeni (hariç tutulan kapsama noktası için varsa) standarda
çıktı. Bu seçenek belirtilirse, -m seçeneği yoksayılır.

KULLANMA KAPALI AS A VPI MODÜL

Özet için bir VCD, LXT2 veya FST dosyasını ayrıştırmak için Covered'in puan komutunu kullanmaya ek olarak
Kapsam bilgileri, Covered ayrıca bir simülatör içinde bir VPI modülü olarak da kullanılabilir.
bu bilgiyi çıkarın. Döküm dosyası okuyucu yerine Covered'ı VPI olarak kullanmanın avantajları
aşağıdakileri içerir. İlk olarak, VCD dosyaları, özellikle uzun süreler için aşırı derecede büyük olabilir.
değerli disk alanını kullanan simülasyonlar. İkincisi, bir simülatör kullanıyorsanız
dosyaları VCD, LXT2 veya FST'den farklı bir biçimde döküyor ve siz bu dökümü dönüştürmek istiyorsunuz
Bu sürümlerden birine dosya türleri, disk alanı ve zaman maliyeti oluşturabilir
Kapsanan döküm dosyaları istenmeyen gerektirir. Ek olarak, VPI olarak Kapsamlı kullanılmasına rağmen
modül simülasyon hızınızı yavaşlatacaktır, büyük olasılıkla harcanan toplam süre
tasarımınızı simüle etmek ve tasarımı tek adımda puanlamak, bunu yapmaktan daha kısa olacaktır.
iki adım. Sonuç olarak, Covered'in yapılandırma yardımcı programı, aşağıdakiler için VPI'ye hazır kitaplıklar oluşturabilir:
aşağıdaki ücretsiz ve ticari simülatörler (Icarus Verilog, CVER ve VCS).

Kaynaktan Covered oluştururken VPI'ye hazır kitaplık dosyalarını otomatik olarak oluşturmak için,
"configure" yardımcı programını çalıştırırken aşağıdakilerden birini veya birkaçını belirtmeniz yeterlidir.
temel Kapsanan dizin: --with-iv= , --with-vcs=
yol>, --with-cver= . Covered yapılandırıldıktan sonra, sadece şunu yazın
'yap' ve 'kurulum yap'. Bu, VPI'ye hazır kitaplık dosyalarını
kurulum libexec dizini (varsayılan olarak bu yol /usr/local/libexec olacaktır).

Tasarımı derlemeye hazır olmadan önce, önce bir üst düzey bir CDD dosyası oluşturmalısınız.
Verilog dosyası ve bir PLI tablo dosyası (son dosya yalnızca VCS derleyicisi için gereklidir).
Bu, belirtilerek yapılır. -vpi (Dosya) seçeneği Covered'ın skor komutuna. Eğer hayırsa
dosya adı -vpi'den sonra belirtilirse, cover_vpi.v ve cover_vpi.ta b dosyaları
oluşturulan kapsam dosyası ile birlikte oluşturulur. Bu adımın yalnızca
tasarım dosyaları değişmedikçe bir kez gerçekleştirilir. Artık derlemeye hazırsınız
simülatör.

Bir Icarus Verilog simülasyonu derliyorsanız, sadece '-m' ekleyin
/usr/local/libexec/covered.vpi cover_vpi.v' dosyasını 'iverilog' komut satırına ekleyin. Bir kere
derleme tamamlandı, oluşturulan yürütülebilir dosyayı normalde yaptığınız gibi çalıştırın.

Bir CVER simülasyonu derliyorsanız, eklemeniz yeterlidir.
'+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrap cover_vpi.v'
'cver' komut satırı.

Bir VCS simülasyonu derliyorsanız, '+vpi -load' eklemeniz yeterlidir.
/usr/local/libexec/covered.vcs.so:covered_registercovered_vpi.v'den 'vcs'ye
Komut satırı. Derleme tamamlandıktan sonra, oluşturulan yürütülebilir dosyayı istediğiniz gibi çalıştırın.
normalde olur.

Bir NC-Verilog simülasyonu derliyorsanız, yüklemek için NC-Verilog'un irun komutuna geçin.
kapsanan paylaşılan nesne: '-loadvpi /usr/local/libexec/covered.ncv.so:covered_register'
ve '-access +rwc' ile tüm erişimi etkinleştirin. $covered_sim çağrısını şu şekilde kodlayabilirsiniz:
RTL'niz veya -input input.tcl ekleyerek CLI'yi kullanarak dinamik olarak çalıştırabilirsiniz.
irun'a geçin. input.tcl dosyasının aşağıdaki gibi göründüğü ve tb.dut dosyasının
kapsama örneği:
çağrı -systf {$covered_sim} {"scored.cdd"} tb.dut
koşmak

Çalıştırıldığında oluşturulan yürütülebilir dosyaya iletilebilecek iki artı işareti vardır.
Kapaklı ayrıştırılır. '+covered_cdd= ' seçeneği, Covered'ın çıktı vermesine neden olur
tarafından belirtilen CDD dosyasına puanlanmış tasarım içeriği . Bu, birden fazla çalıştırmaya izin verir
yeniden derlemeye gerek kalmadan birkaç farklı CDD dosyası oluşturmak için simülatörün
meydana gelmek. '+covered_debug' seçeneği, Covered'ın çok fazla çıktı atmasına neden olur
simülasyon sırasında dahili çalışma zamanı durumu hakkında. Bu çıktı yalnızca oluşturulacak
Kapsanan --enable-debug seçeneğiyle yapılandırılmışsa. Bu plusarg seçeneği
öncelikle Covered in geliştiricilerine yardımcı olmayı amaçladığından normal kullanıcılar tarafından kullanılabilir.
hata ayıklama.

YAZARLAR

Trevor Williams[e-posta korumalı]>

Onworks.net hizmetlerini kullanarak kapsanan çevrimiçi kullanın