Code Coverage i Regresja badania Usage

M

melonpy

Guest
Do weryfikacji soc, najważniejszą rzeczą w RTL symulacji kod zasięgu.Musimy zagwarantować, że ourRTL weryfikacji uzyskuje wyższy kod zasięgu.
Przepraszamy, ale musisz logowania w celu wyświetlenia tego zajęcia

 
Korzystanie z Kodeksu Pokrycie jest bardzo mała część procesu weryfikacji.
Te narzędzia mogą pomóc znaleźć dziury w nietestowanych weryfikacji, ale wysokie Code Coverage (niech powie> 90% dla linii / Oświadczenie Coverage) nie oznacza niczego.Można mieć 100% Oświadczenie Zakres i <50% sprawdzonych wzorów funkcji.Albo możesz mieć 100% sprawdzone funkcje projektowania z 70% Oświadczenie Coverage (jeśli codding styl jest zły i konserwatywna).
Wszystkie nowe platformy symulatora i weryfikacji narzędzi (jak Vericity Specman) są zbudowane wokół funkcjonalna Zakres pojęcia.Zakres Fuctional ilościowych środków, które są częścią planu Weryfikacja została osiągnięta.Nowe narzędzia zwykle colect Fuctional Zakres informacji w post-processing, analizować je, a nawet (jak w Test Profiler Specman) może przyczynić się do stworzenia minimalnych regresji, które obejmują pokrycie maksymalnie funkcjonalne.
Wada funkcjonalnych Pokrycie jest to, że w przeciwieństwie do kodeksu Pokrycie, które mogą być automatycznie pobierane, weryfikacji inżynier musi określać elementy funkcjonalne Zakres zgodnie Weryfikacja planu, a to jest bardziej sztuką następnie inżynier rutynowe zadania.

 
Sądzę również, funkcja converage jest ważne, ale kod zasięg może powiedzieć, czy istnieje w nadkomplet projektowania.

 
wysoki zasięg kod jest obowiązkowe; wykorzystanie functiona zasięgu pokazać, jeżeli wszystkie zainteresowane scenerio zostały uwzględnione, to jednak zdecydowanie podajemy kodowania / scripting

 
To muszą osiągnąć wysokie kod zasięg, ale jak ocenia to skomplikowana kwestia.Wydaje się, że wiele EDA oprogramowania comparny chce dać odpowiedź na to pytanie, jak TransEDA, Specman.

 
Dla funkcji zasięgu, architektura prototyp musi być buit.Jest to raczej difficuit.Może musimy uzyskać odpowiedzi z narzędzi, takich jak openvera, Systemverilog?

 
Krótko mówiąc, funkcja zasięg zależy od doświadczonego lidera weryfikacji / zespół wyposażony w różne EDAs tym kodem pokrycia narzędzi.

 
GUI, które jest określone w pierwszym pdf - co to jest?I have never seen this before.Jak go powołać?
Mam cmView ive ale nie widziałem tego.

dziękuję

 
Jak porównać te narzędzia:
tranEDA
VS
Specman
VS
modelsim6.0 (twierdzenie opiera)Moja jest tylko wymóg wewnętrznego państwa maszyny zakresu kontroli.
których jeden jest dobry?
Prosimy o pomoc.

 
Kod zasięgu jest tylko parametr, aby uzyskać zaufanie do weryfikacji,
Jednak staramy się uzyskać maksymalny zasięg wypowiedzi.

 
hi: który openvera? Czy możesz mi powiedzieć coś na ten temat? Miałem badano go na miesiąc, ale ja naprawdę nie wiesz jak napisać programy, można powiedzieć jak pisać? Thank you very much!

<img src="http://www.edaboard.com/images/smiles/icon_neutral.gif" alt="Neutralne" border="0" />
 
Kod zasięgu działania elementów kodu havebeen wykonywane podczas badania.Kodeks obejmuje jednak również oświadczenie, oddziałów, stan drogi, a dane pokrycia.Narzędzia kod zasięgu możliwości są dostępne.

 
Hello, następujące zajęcia się weryfikacji methodolgy ręczne 3rd, i mogą pomóc określić, w jakim stopniu kod zasięgu muszą osiągnąć.

jak funkcjonalna zasięgu, myślę,
to odnosi się do bieżącego topcis opartej o twierdzenie weryfikacji zasięgu napędzane weryfikacji, constrainte-losowej weryfikacji i testbench automatyzacji.Ponadto możesz przeczytać SystemVerilog / SystemC / PSL dla odniesienia.
Przepraszamy, ale musisz logowania w celu wyświetlenia tego zajęcia

 

Welcome to EDABoard.com

Sponsor

Back
Top