objęty - Online w chmurze

PROGRAM:

IMIĘ

Zakryte — analizator pokrycia kodu Verilog

SKŁADNIA

pokryty [globalne_opcje] wynik [Opcje]
pokryty [globalne_opcje] łączyć [Opcje] istniejąca_baza danych baza danych do połączenia+
pokryty [globalne_opcje] raport [Opcje] plik_bazy_danych
pokryty [globalne_opcje] rankingu [Opcje] baza_do_rankingu baza_do_rankingu+
pokryty [globalne_opcje] wykluczać [Opcje] identyfikator_wykluczenia+ plik_bazy_danych

OPIS

Pokryty to narzędzie do analizy pokrycia kodu Verilog, które może być przydatne do określenia, w jaki sposób
Cóż, zestaw testów diagnostycznych obejmuje testowany projekt. Zakryte odczyty w
Pliki projektu Verilog oraz plik zrzutu w formacie VCD, LXT2 lub FST z przebiegu diagnostycznego i
generuje plik bazy danych o nazwie Coverage Description Database (CDD), używając rozszerzenia
polecenie punktacji. Komenda Score Covered może być alternatywnie użyta do wygenerowania pliku CDD
oraz moduł Verilog do używania Covered jako modułu VPI w testbenchu, który można uzyskać
informacje o zasięgu równolegle z symulacją (zob ZA POMOCĄ POKRYTY AS A VPI MODUŁ).
wynikowy plik CDD można łączyć z innymi plikami CDD z tego samego projektu, aby utworzyć
skumulowane pokrycie za pomocą polecenia scalania. Po utworzeniu pliku CDD użytkownik może
użyj Covered do generowania różnych czytelnych dla człowieka raportów pokrycia w formacie ASCII lub użyj
GUI Covered do interaktywnego przeglądania wyników pokrycia za pomocą polecenia raportu. Jeśli
zostaną znalezione niepokryte punkty pokrycia, które użytkownik chce wyłączyć z pokrycia, może to zrobić
być obsługiwane za pomocą polecenia wyklucz z wiersza poleceń lub w interfejsie GUI. Kiedy wiele
Pliki CDD są tworzone na podstawie tego samego projektu, użytkownik może uzyskać ranking zasięgu
te pliki CDD, aby określić idealną kolejność testów regresji, a także zrozumieć
które pliki CDD można wykluczyć z regresji ze względu na brak możliwości trafienia nowego
punkty pokrycia. Dodatkowo, w ramach polecenia wyniku Covered, stan wyścigu
możliwości znajdują się w plikach projektowych i można je zignorować lub oznaczyć jako ostrzeżenia
lub oznaczone jako błędy. Określając warunki wyścigu jako błędy, można również użyć opcji Covered
jako kontroler warunków wyścigu.

GLOBAL OPCJE

Opcje te są umieszczane bezpośrednio po słowie kluczowym pokryty w wierszu poleceń. Oni
może być użyty do dowolnego polecenia (z wyjątkiem -v i -h) i mają ten sam efekt w
każda sprawa.

-B Zaciemniać. Zaciemnia wszystkie nazwy zależne od projektu przed wyjściem
format czytelny dla użytkownika. Ta opcja jest przydatna podczas udostępniania danych wyjściowych w programie
deweloperzy Covered do celów debugowania.

-D Odpluskwić. Wyświetl informacje pomocne przy debugowaniu problemów z narzędziami. Uwaga: to
opcja jest teraz dostępna tylko wtedy, gdy pokrycie jest zbudowane z opcją --enable-debug
opcja konfiguracji.

-h Pomoc. Wyświetl te informacje o użytkowaniu.

-P [filename]
Tryb profilowania. Włącza wewnętrzny profiler kodu źródłowego, który utworzy plik
raport profilowania polecenia uruchomienia do określonego filename lub, jeśli nie
filename jest obecny, do pliku o nazwie zadaszony.prof. Ta opcja jest dostępna tylko
Jeśli --enable-profilowanie opcja konfiguracji została określona, ​​gdy była objęta
wybudowany.

-Q Tryb cichy. Powoduje wyłączenie wszystkich danych wyjściowych.

-T Tryb zwięzły. Powoduje, że wszystkie dane wyjściowe są pomijane z wyjątkiem ostrzeżenia
wiadomości i informacje o nagłówku Covered.

-v Wersja. Wyświetl aktualną wersję objętą usługą.

POLECENIA

wynik Analizuje pliki Verilog i pliki zrzutów VCD/LXT2/FST w celu utworzenia używanego pliku bazy danych
łączenie i raportowanie.

łączyć Łączy dwa lub więcej plików bazy danych w jeden.

raport Generuje czytelne dla człowieka raporty pokrycia z pliku bazy danych lub uruchamia pokrycie
raport GUI.

rankingu Generuje raport, który określa idealną kolejność uruchamiania regresji i określa
Pliki CDD, które nie dodają nowych informacji o zasięgu (i dlatego mogą zostać wykluczone
z regresji, jeśli to pożądane).

wykluczać
Zezwala na jeden lub więcej punktów pokrycia (identyfikowanych za pomocą identyfikatorów wykluczeń w raporcie
wygenerowane z opcją -x), aby ich właściwość wykluczenia była przełączana (include to
wykluczać lub wykluczać, aby uwzględnić) oraz, jeśli właściwość wykluczenia jest ustawiona na wykluczanie,
opcjonalnie zezwól na powiązanie i przechowywanie przyczyny wykluczenia
określony plik CDD.

SCORE COMMAND

Następujące opcje są poprawne dla polecenia score:

-A owl Powoduje, że asercje OVL są używane do pokrycia asercji. Ta flaga musi być podana
do polecenia score, jeśli w raporcie potrzebne są metryki pokrycia asercji
dowództwo.

-cdd baza danych
To samo co opcja -o. Przydatne, gdy oceniany plik CDD jest wejściem do partytury
dowództwo.

-kli [filename]
Powoduje użycie debugera wiersza poleceń podczas oceniania pliku zrzutu VCD/LXT2/FST.
If filename jest określony, ten plik zawiera informacje zapisane w poprzednim wywołaniu
do savehist na CLI i powoduje odtworzenie historii zawartej w tym pliku
przed wierszem polecenia CLI. Jeśli filename nie zostanie określony, pojawi się monit CLI
być natychmiast dostępne na początku symulacji. Ta opcja jest dostępna tylko
kiedy Covered jest skonfigurowany z --włącz debugowanie opcja.

-konserwatywny
Jeśli ta opcja jest określona, ​​wszystkie bloki logiczne zawierające kod, który może spowodować
rozbieżności pokrycia prowadzące do potencjalnie niedokładnych wyników pokrycia
usunięto z rozpatrzenia pokrycia. Więcej informacji na ten temat można znaleźć w Podręczniku użytkownika
rodzaj kodu może prowadzić do niedokładności pokrycia.

-zrzuty [filename]
Jeśli ta opcja jest określona bez opcji -vcd lub -lxt, projekt jest analizowany,
tworzony jest plik CDD i nazwany plik modułu Verilog najwyższego poziomu filename (Jeśli to
wartość jest określona) lub „covered_dump.v” (jeśli filename nie jest określony) jest tworzony.
Ten plik jest używany w kompilacji symulatora do tworzenia pliku zrzutu
zoptymalizowany pod kątem uzyskania pokrycia dla określonego pliku CDD. Jeśli opcja -vcd lub
-lxt podano opcje, ta opcja nie ma żadnego efektu. Zobacz Podręcznik użytkownika dot
więcej informacji na temat korzystania z tej opcji.

-D zdefiniuj_nazwę
Definiuje określoną nazwę na 1.

-D zdefiniuj_nazwę=wartość
Definiuje określoną nazwę do określonej wartości.

-e nazwa_bloku
Nazwa modułu, zadania, funkcji lub nazwanego bloku początkowego/końcowego, którego nie należy oceniać. Powoduje wszystko
podbloki w drzewie Verilog pod tym blokiem również nie będą oceniane.

-e Wyklucza wszystkie zawsze bloki z uwzględnienia w pokryciu.

-ek Wyklucza wszystkie ciągłe przydziały z uwzględniania w pokryciu.

-jajko Wyklucza wszystkie początkowe bloki z uwzględnienia w pokryciu.

-jeśli Wyklucza wszystkie końcowe bloki z uwzględnienia w pokryciu.

-ep [Nazwa]
Wyklucza cały kod znaleziony między pragmami „// pokrycie wyłączone” i „// pokrycie włączone”.
osadzony w projekcie. Jeśli Nazwa jest określony, słowo kluczowe w pragma will
zostać zmieniony na tę nazwę zamiast domyślnego „zasięgu”, umożliwiając użytkownikowi
zmień wygląd pragma, jeśli koliduje z innymi narzędziami.

-F nazwa_modułu=[wyr_w,]wyr_wy
Wskazuje parserowi, gdzie znaleźć FSM znajdujący się w module Nazwa modułu który
ma wyrażenie stanu wejściowego o nazwie w_wyr i wywołane wyrażenie stanu wyjściowego
wyr_wyr. Jeśli w_wyr nie jest określony, wyr_wyr jest używany zarówno jako wejście, jak i
wyrażenie stanu wyjściowego.

-f filename
Nazwa pliku zawierającego dodatkowe argumenty do przeanalizowania.

-pierwszy filename
Nazwa pliku zrzutu FST do oceny projektu. Jeśli -vcd, -lxt lub ta opcja nie jest
używany, Covered utworzy tylko początkowy plik CDD na podstawie projektu i nie będzie tego robić
spróbuj ocenić projekt.

-g [nazwa_modułu=](1|2|3)
Pozwala użytkownikowi ograniczyć parser do określonej generacji Verilog
standard dla konkretnego modułu lub całego projektu, gdzie 1=Verilog-1995,
2=Verilog-2001, 3=SystemVerilog. Jeśli nazwa_modułu= jest określony, parser używa
określony standard Verilog tylko dla tego modułu, umożliwiając resztę projektu
korzystać ze światowego standardu. Domyślnie globalny standard jest ustawiony na najnowszy
wersja (3). Ta opcja może być określona więcej niż raz dla danego wywołania
polecenie punktacji; jeśli jednak opcja -g określa więcej niż wartość globalną (tj.
bez moduł= przedrostek), zostanie użyta tylko ostatnia wartość opcji.

-h Wyświetla te informacje pomocy.

-I katalog
Katalog, w którym można znaleźć dołączone pliki Verilog.

-i nazwa_instancji
Hierarchiczne odniesienie Verilog do modułu znajdującego się na szczycie drzewa
punktowane. Ta opcja jest konieczna, jeśli moduł do weryfikacji pokrycia nie jest modułem najwyższego poziomu
moduł w projekcie. Jeśli nie określono, -t wartość jest używana.

-LXT filename
Nazwa pliku zrzutu LXT2 do oceny projektu. Jeśli -vcd, -fst lub ta opcja nie jest
używany, Covered utworzy tylko początkowy plik CDD na podstawie projektu i nie będzie tego robić
spróbuj ocenić projekt.

-m wiadomość
Umożliwia użytkownikowi określenie informacji o tym pliku CDD. Ta informacja może
być czymkolwiek (wiadomości zawierające białe znaki powinny być otoczone podwójnym cudzysłowem
znaki), ale może zawierać coś o argumentach symulacji, aby łatwiej
połączyć plik CDD z jego symulacją w celu odtworzenia pliku CDD.

-o baza danych
Nazwa bazy danych, w której mają zostać zapisane informacje o zasięgu. Jeśli nie określono, dane wyjściowe
nazwą pliku bazy danych będzie „cov.cdd”.

-p filename
Zastępuje domyślną nazwę pliku używaną do przechowywania danych wyjściowych pośredniego preprocesora.

-P parametr_scope=wartość
Wykonuje defparam dla określonego parametru z wartością.

-rS Gdy naruszone zostaną kontrole warunków wyścigu, naruszające je bloki logiczne są usuwane
z uwagi na zasięg i wszystkie dane wyjściowe dotyczące wyścigu są tłumione
naruszenie warunku. Więcej informacji na temat rasy można znaleźć w dokumentacji użytkownika
użycie sprawdzania stanu.

-rW Gdy naruszone zostaną kontrole warunków wyścigu, naruszające je bloki logiczne są usuwane
z uwzględnienia pokrycia i wyprowadzane jest naruszenie warunku wyścigu. To jest
domyślne zachowanie obsługi warunków wyścigu. Więcej informacji można znaleźć w dokumentacji użytkownika
informacje o używaniu sprawdzania warunków wyścigu.

-Odnośnie Kiedy testy warunku wyścigu są naruszone, powodem jest wyjście i punktacja zostaje zakończona
natychmiast. Więcej informacji na temat wyścigu można znaleźć w dokumentacji użytkownika
sprawdzanie użycia.

-rI[=moduł Nazwa]
If moduł Nazwa nie jest określony, sprawdzanie warunków wyścigu jest całkowicie pomijane
cały projekt. Jeśli moduł Nazwa jest określony, sprawdzanie warunków wyścigu jest pomijane
dla określonego modułu. Więcej informacji na temat rasy można znaleźć w dokumentacji użytkownika
użycie sprawdzania stanu.

-rP[=Nazwa])
Wykorzystuje osadzone pragmy do ignorowania określonego kodu podczas sprawdzania warunków wyścigu
uwagę (jeśli Nazwa jest określony, jest używany jako słowo kluczowe pragma). Zobacz użytkownika
dokumentacji, aby uzyskać więcej informacji na temat sprawdzania warunków wyścigu.

-S Wyprowadza statystyki symulacji po zakończeniu symulacji. Ta informacja jest
obecnie przydatne tylko dla twórców Covered.

-t najwyższy poziom moduł
Określa nazwę modułu znajdującego się najwyżej, który będzie mierzony. Zauważ to
ten moduł nie musi być najwyższym modułem w symulatorze. To pole
jest wymagane dla wszystkich wywołań komendy score.

-top_ts harmonogram
Ta opcja jest poprawna tylko wtedy, gdy określono opcje -vpi lub -dumpvars.
Ta opcja pozwala użytkownikowi określić skalę czasową dla wygenerowanego modułu Verilog
utworzone za pomocą opcji -vpi/-dumpvars. Jeśli ta opcja nie jest określona, ​​nie
dla wygenerowanego modułu zostanie utworzona skala czasu. Wartość harmonogram is
określone w następujący sposób:

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

Jeśli potrzebne są białe znaki między różnymi wartościami, umieść całą zawartość
harmonogram w podwójnych cudzysłowach.

-ts numer
Gdy występuje punktacja, ta opcja pozwala użytkownikowi zobaczyć, jak daleko zaszedł symulator
postępował poprzez wyprowadzenie bieżącego kroku czasowego na standardowe wyjście. Wartość
numer określa, ile kroków czasowych można zasymulować przed wyjściem
bieżący krok czasowy (powoduje mniej wywołań strumienia wyjściowego).

-T (min|typ|maks)
Określa, której wartości należy użyć w przypadku napotkania wyrażenia opóźnienia w postaci:
min:typ:maks. Jeśli ta opcja nie jest określona, ​​domyślnie używany jest wybór typu.

-v filename
Nazwa określonego pliku Verilog do oceny.

-vcd filename
Nazwa pliku zrzutu VCD do oceny projektu. Jeśli -lxt, -fst lub ta opcja nie jest
używany, Covered utworzy tylko początkowy plik CDD na podstawie projektu i nie będzie tego robić
spróbuj ocenić projekt.

-vpi [filename]
Jeśli ta opcja jest określona bez opcji -vcd, -lxt lub -fst, projekt jest
parsowany, tworzony jest plik CDD i nazwany plik modułu Verilog najwyższego poziomu filename
(jeśli ta wartość jest określona) lub „covered_vpi.v” (jeśli filename nie jest określony) jest
utworzony wraz z plikiem tabeli PLI o nazwie filename.ta b lub „covered_vpi.v.ta b”.
Oba te pliki są używane w kompilacji symulatora do użycia Covered as
moduł VPI. Jeśli podano opcję -vcd, -lxt lub -fst, ta opcja
nie ma żadnego efektu.

-Wignorować
Pomiń wyjście ostrzeżeń podczas analizowania kodu i symulacji.

-y katalog
Katalog, w którym można znaleźć nieokreślone pliki Verilog.

+libext+.rozszerzenie[+.rozszerzenie]*+
Rozszerzenia plików Verilog, aby umożliwić punktację.

MERGE COMMAND

Następujące opcje są poprawne dla polecenia scalania:

-d filename
Katalog do wyszukania plików CDD do uwzględnienia. Ta opcja jest używana w połączeniu
z -wewnętrzny opcja, która określa rozszerzenie pliku, które ma być używane do określania
które pliki w katalogu są plikami CDD.

-R ( drugim|trwać|cała kolekcja|nowa|stary)
Określa sposób obsługi rozwiązywania przyczyn wykluczenia. Jeśli dwa lub więcej plików CDD
łączone mają określone przyczyny wykluczenia dla tego samego punktu pokrycia, tj
przyczyna wykluczenia musi zostać rozwiązana (chyba że jest to ta sama wartość ciągu). Jeśli
ta opcja nie jest określona i zostanie znaleziony konflikt, Objęty będzie interaktywnie
poproś o wejście dla każdego wykluczenia, jak sobie z nim poradzić. Jeśli ta opcja jest
określony, informuje Covered, jak radzić sobie ze wszystkimi konfliktami powodującymi wykluczenie. The
wartości są następujące:.br

drugim - Używany jest plik CDD, który zawierał pierwszy powód wykluczenia.

trwać - Używany jest plik CDD, który zawierał ostatnią przyczynę wykluczenia.

cała kolekcja - Wszystkie przyczyny wykluczenia są wykorzystane (połączone).

nowa - Użyj najnowszego podanego powodu wykluczenia.

stary - Użyj najstarszego podanego powodu wykluczenia.

-wewnętrzny rozbudowa
Używane w połączeniu z with -d opcja. Jeśli nie -wewnętrzny opcje są określone na
linii poleceń, używana jest domyślna wartość „.cdd”. Zauważ, że kropka (.) powinna
być określony.

-f filename
Nazwa pliku zawierającego dodatkowe argumenty do przeanalizowania.

-h Wyświetla te informacje pomocy.

-m wiadomość
Umożliwia użytkownikowi określenie informacji o tym pliku CDD. Ta informacja może
być czymkolwiek (wiadomości zawierające białe znaki powinny być otoczone podwójnym cudzysłowem
znaki).

-o filename
Plik, do którego ma zostać wyprowadzona nowa baza danych. Jeśli ten argument nie zostanie określony, plik
istniejąca_baza danych jest używana jako nazwa wyjściowej bazy danych.

SPRAWOZDANIE COMMAND

W poleceniu raportu obowiązują następujące opcje:

-b Jeśli raportowane są szczegółowe dane wyjściowe logiki kombinacyjnej, a wyrażenie jest wektorem
operacji, ta opcja generuje informacje o pokryciu bitowo.

-c If -v jest określony, wyświetla tylko objęte metryki. Domyślnie wyświetlana jest odsłonięta
Tylko informacje.

-d (s|d|v)
Poziom szczegółowości informacji w raporcie pokrycia (s = podsumowanie, d =
szczegółowe, v = gadatliwe). Domyślnie jest to podsumowanie.

-e Wyprowadza wszystkie wykluczone punkty pokrycia do pliku raportu wraz z dowolnymi określonymi
powody wykluczenia, jeśli -d d or -d v określone są opcje.

-f filename
Nazwa pliku zawierającego dodatkowe argumenty do przeanalizowania.

-h Wyświetla te informacje pomocy.

-i Dostarcza informacje o zasięgu dla instancji zamiast modułu.

-m [l] [t] [c] [f] [r] [a] [m]
Rodzaje danych do raportowania. l=linia, t=przełączanie, c=logika kombinowana, f=stan FSM
i przejście stanu, r=warunki wyścigu, a=asercja, m=pamięć. Wartość domyślna to lcf.

-o filename
Plik, do którego mają zostać wysłane informacje o raporcie. Domyślnie jest to standardowe wyjście.

-s Pomija wysyłanie modułów/instancji, które nie zawierają informacji o pokryciu
do raportu. Służy do eliminowania potencjalnie bezsensownych informacji z pliku
zgłosić.

-v Przestarzałe. Zastąpione przez „-dd” lub „-d v”.

-widok Uruchamia interfejs GUI do interaktywnego raportowania pokrycia.

-w (numer)
Określa maksymalną szerokość linii (w znakach), której można użyć do wyprowadzenia Verilog
Informacja. Jeśli ta opcja nie zostanie określona, ​​cały kod Verilog w raporcie będzie
zachować to samo formatowanie, jakie określono w oryginalnym kodzie Verilog. Jeśli to
zostanie określona opcja, kod Verilog zostanie sformatowany tak, aby zużywał jak najwięcej prądu
jak to możliwe, zawijając tekst, gdy linia osiągnie maksymalną szerokość. The
domyślna maksymalna szerokość linii wynosi 115 znaków (ta wartość jest używana, jeśli nie ma liczby
określony z opcją -w). Jeśli liczba jest określona z opcją -w, this
wartość jest używana dla maksymalnej szerokości linii.

-x Generuje identyfikatory wykluczeń wszystkich nieobjętych i wykluczonych punktów pokrycia w obrębie
nawias przed powiązanym szczegółowym wyjściem punktu pokrycia. The
identyfikatory wykluczeń mogą być używane do wykluczania/włączania punktów pokrycia poprzez wykluczenie
dowództwo.

RANGA COMMAND

W poleceniu rank obowiązują następujące opcje:

-d filename
Katalog do wyszukania plików CDD do uwzględnienia. Ta opcja jest używana w połączeniu
z -wewnętrzny opcja, która określa rozszerzenie pliku, które ma być używane do określania
które pliki w katalogu są plikami CDD.

-głębokość numer
Określa minimalną liczbę potrzebnych plików CDD do trafienia w każdy punkt pokrycia. The
wartość numer powinna być większa od zera. Wartość domyślna to 1.

-wewnętrzny rozbudowa
Używane w połączeniu z with -d opcja. Jeśli nie -wewnętrzny opcje są określone na
linii poleceń, używana jest domyślna wartość „.cdd”. Zauważ, że kropka (.) powinna
być określony.

-f filename
Nazwa pliku zawierającego dodatkowe argumenty do przeanalizowania.

-h Wyświetla informacje pomocy dotyczące polecenia rank.

-tylko nazwy
Jeśli określono, wyświetla tylko potrzebne nazwy plików CDD, które muszą zostać uruchomione w
kolejności muszą być uruchamiane. Jeśli ta opcja nie jest ustawiona, dane wyjściowe w stylu raportu są
opatrzone dodatkowymi informacjami. Ta opcja ma być użyteczna w skryptach
które chcą, aby tylko nazwy plików CDD były uruchamiane jako dane wyjściowe.

-o filename
Nazwa pliku, do którego mają zostać wysłane informacje o rankingu. Domyślnie jest to standardowe wyjście.

-wymagane-cdd filename
Nazwa CDD, która powinna być uważana za CDD wymaganą do rankingu (tj. nie może być
wykluczone z jakiegokolwiek powodu).

-wymagana-lista filename
Nazwa pliku zawierającego listę CDD, które należy uznać za wymagane CDD
Oceniać. Nazwy plików powinny być oddzielone spacjami lub znakami nowej linii
w pliku.

-v Powoduje, że pełne dane wyjściowe są wyświetlane po uruchomieniu polecenia rank. To wyprowadza
informacje diagnostyczne o każdej z różnych faz algorytmu rankingu
w tym czas pracy, liczbę uwzględnionych/wyłączonych plików CDD oraz liczbę pokrycia
punktów trafionych przez rankingowe CDD podczas każdej fazy. Ta informacja ma być
przydatne dla osób zainteresowanych algorytmem rankingu i jego wydajnością.

-waga-potwierdzona numer
Określa względną wagę pokrycia asercji używaną do uszeregowania nieunikalnych
punkty pokrycia. Wartość numer odnosi się do wartości użytych w pliku
-przełącznik wagi, -pamięć wagi, -grzebień-ciężarowy, -waga-fsm i -linia wagi rankingu
opcje poleceń.

-grzebień-ciężarowy numer
Określa względną wagę dla pokrycia logiki kombinowanej używanej do uszeregowania
nieunikalne punkty pokrycia. Wartość numer odnosi się do wartości użytych w
dotychczasowy -przełącznik wagi, -pamięć wagi, -waga-potwierdzona, -waga-fsm i -linia wagi
opcje poleceń rangi.

-waga-fsm numer
Określa stosowaną wagę względną dla stanu FSM i pokrycia przejścia między stanami
uszereguj nieunikalne punkty pokrycia. Wartość numer jest względny względem wartości
Używane w -przełącznik wagi, -pamięć wagi, -grzebień-ciężarowy, -waga-potwierdzona i
-linia wagi opcje poleceń rangi.

-linia wagi numer
Określa względną wagę pokrycia linii używaną do uszeregowania nieunikalnego pokrycia
zwrotnica. Wartość numer odnosi się do wartości użytych w pliku -przełącznik wagi,
-pamięć wagi, -grzebień-ciężarowy, -waga-fsm i -waga-potwierdzona opcje poleceń rangi.

-pamięć wagi numer
Określa względną wagę pokrycia pamięci używaną do klasyfikowania nieunikatowego pokrycia
zwrotnica. Wartość numer odnosi się do wartości użytych w pliku -przełącznik wagi,
-linia wagi, -grzebień-ciężarowy, -waga-fsm i -waga-potwierdzona opcje poleceń rangi.

-przełącznik wagi numer
Określa względną wagę przełączanego pokrycia używaną do uszeregowania nieunikatowego pokrycia
zwrotnica. Wartość numer odnosi się do wartości użytych w pliku -pamięć wagi,
-linia wagi, -grzebień-ciężarowy, -waga-fsm i -waga-potwierdzona opcje poleceń rangi.

WYKLUCZAĆ COMMAND

Następujące opcje są poprawne z poleceniem wyklucz:

-f filename
Określa nazwę pliku, który zawiera więcej opcji polecenia wyklucz.
Tę opcję można określić tyle razy, ile jest to konieczne dla pojedynczego wywołania usługi
wyklucz polecenie.

-h Generuje informacje o użyciu dla polecenia wyklucz.

-m Umożliwia powiązanie komunikatu o wykluczeniu z dowolnymi przechodzącymi punktami zasięgu
ze stanu włączonego do stanu wyłączonego. Dla każdego spełniającego punkt pokrycia
tego wymogu, użytkownik zostanie poproszony o podanie powodu. Przyczyną może być
dowolna długość i dowolna ilość linii; jednak wszystkie znaki formatowania (tj.
nowe wiersze, tabulatory, dodatkowe spacje itp.) zostaną usunięte i zastąpione pojedynczymi
spację, gdy zostanie później wyświetlona. Aby zakończyć wprowadzanie wiadomości, naciśnij klawisz powrotu,
wprowadź znak pojedynczej kropki (.) i ponownie naciśnij klawisz Return. Ostatni okres
znak nie będzie częścią komunikatu o wykluczeniu.

-p Powoduje, że wszystkie określone punkty pokrycia drukują swój aktualny status wykluczeń i
przyczynę wykluczenia (jeśli taka istnieje dla wyłączonego punktu pokrycia) do standardu
wyjście. Jeśli ta opcja jest określona, ​​plik -m opcja zostanie zignorowana.

ZA POMOCĄ POKRYTY AS A VPI MODUŁ

Oprócz używania polecenia score firmy Covered do analizowania pliku VCD, LXT2 lub FST do abstrakcji
informacji o zasięgu, Covered może być również używany jako moduł VPI w symulatorze
wyodrębnić te informacje. Zalety używania Covered jako VPI w porównaniu z czytnikiem plików zrzutu
zawierać następujące. Po pierwsze, pliki VCD mogą być bardzo duże, zwłaszcza przez długi czas
symulacje, zajmując cenne miejsce na dysku. Po drugie, jeśli używasz symulatora, który
zrzuca pliki w innym formacie niż VCD, LXT2 lub FST i chcesz przekonwertować te zrzuty
typów plików do jednej z tych wersji, tworzenie może kosztować miejsce na dysku i czas
dumpfiles, których wymaga Covered, jest niepożądane. Dodatkowo, chociaż używa Covered jako VPI
moduł spowolni prędkość symulacji, najprawdopodobniej całkowity czas spędzony
symulowanie projektu i ocenianie projektu w jednym kroku będzie krótsze niż wykonanie tego w jednym kroku
dwa kroki. W rezultacie narzędzie konfiguracyjne Covered może generować biblioteki gotowe do obsługi VPI
następujące bezpłatne i komercyjne symulatory (Icarus Verilog, CVER i VCS).

Aby automatycznie budować pliki bibliotek gotowe do VPI podczas generowania Covered ze źródła,
po prostu określ jedną lub więcej z następujących opcji podczas uruchamiania narzędzia „config” w pliku
podstawowy katalog objęty ochroną: --with-iv= , --with-vcs=
ścieżka>, --with-cver= . Po skonfigurowaniu Covered wystarczy wpisać
„make” i „make install”. Spowoduje to zainstalowanie plików bibliotek gotowych do VPI w
katalog instalacyjny libexec (domyślnie ta ścieżka to /usr/local/libexec).

Zanim będziesz gotowy do skompilowania projektu, musisz najpierw utworzyć plik CDD, najwyższy poziom
Plik Verilog i plik tabeli PLI (ostatni plik jest potrzebny tylko kompilatorowi VCS).
Odbywa się to poprzez określenie -vpi (filename) opcja polecenia wyniku Covered. Jeśli nie
nazwa_pliku zostanie określona po -vpi, pliki zakryte_vpi.v i zakryte_vpi.ta b będą
tworzony wraz z wygenerowanym plikiem pokrycia. Pamiętaj, że ten krok musi być tylko
wykonywane raz, chyba że zmienią się pliki projektowe. Teraz możesz przystąpić do kompilacji
symulator.

Jeśli kompilujesz symulację Icarus Verilog, po prostu dodaj „-m
/usr/local/libexec/covered.vpi cover_vpi.v” do wiersza poleceń „iverilog”. Raz
kompilacja jest zakończona, uruchom wygenerowany plik wykonywalny w normalny sposób.

Jeśli kompilujesz symulację CVER, po prostu dodaj
„+loadvpi=/usr/local/libexec/covered.cver.so:vpi_compat_bootstrapcovered_vpi.v” do
wiersz poleceń „cver”.

Jeśli kompilujesz symulację VCS, po prostu dodaj „+vpi -load
/usr/local/libexec/covered.vcs.so:covered_registercovered_vpi.v” do „vcs”
wiersz poleceń. Po zakończeniu kompilacji uruchom wygenerowany plik wykonywalny tak, jak ty
normalnie by.

Jeśli kompilujesz symulację NC-Verilog, przełącz się na polecenie irun NC-Verilog, aby załadować
udostępniony obiekt objęty usługą: „-loadvpi /usr/local/libexec/covered.ncv.so:covered_register”
i włącz cały dostęp za pomocą „-access + rwc”. Możesz zakodować na stałe wywołanie $covered_sim
swój RTL lub możesz uruchomić go dynamicznie za pomocą CLI, dodając -input input.tcl
przełącz się na iruna Gdzie plik input.tcl wygląda następująco, a tb.dut to plik
instancja pokrycia:
call -systf {$covered_sim} {"scored.cdd"} tb.dut
biegać

Istnieją dwa argumenty plusa, które można przekazać do wygenerowanego pliku wykonywalnego, gdy jest on uruchamiany
Pokryte zostaną przeanalizowane. Funkcja „+covered_cdd= ' opcja spowoduje, że Covered wyświetli plik
ocenioną zawartość projektu do pliku CDD określonego przez . Pozwala to na wiele przebiegów
symulatora do generowania kilku różnych plików CDD bez konieczności ponownej kompilacji
zdarzać się. Opcja „+covered_debug” spowoduje, że Covered zrzuci dużo nadmiarowych danych wyjściowych
o jego wewnętrznym stanie w czasie wykonywania podczas symulacji. To wyjście zostanie wygenerowane
jeśli Covered został skonfigurowany z opcją --enable-debug. Ta opcja plusarg nie powinna
być używany przez zwykłych użytkowników, ponieważ ma przede wszystkim pomóc twórcom Covered in
debugowanie.

AUTORSKI

Trevora Williamsa[email chroniony]>

Korzystaj z objętych usług online, korzystając z usług onworks.net