Bedekt Gratis en Open Source Verilog Code Dekking Analyse Tool
Download nu

Bedekt Rangschikking & Samenvatting

Bedekt Tags

lezen genereren analyseren Lees Verilog-bestand Verilog-bestandsanalyse genereren cdd

Bedekt Beschrijving

Gratis en open source Verilog code coverage analyse tool Overdekte leest in de Verilog ontwerp bestanden en een VCD of LXT geformatteerd dumpfile van een diagnostische run en genereert een database bestand met de naam van een bestand Coverage Beschrijving Database (CDD), met behulp van de score commando. Behandelde's score commando kan ook worden gebruikt om een CDD bestand en een Verilog module voor gebruikmaking bedekt als VPI module een testbank waarin dekkingsinformatie kan verkrijgen parallel aan simulatie genereren. De resulterende CDD bestand kan worden samengevoegd met andere CDD bestanden van hetzelfde ontwerp te accummulated dekking te creëren, met behulp van de merge commando. Zodra een CDD bestand is gemaakt, kan de gebruiker gebruik waarvoor aan diverse mensen leesbare dekking rapporten te genereren in een ASCII-formaat of gebruiken GUI Covered om interactief kijken naar dekking resultaten, met behulp van het rapport commando. Bovendien, als onderdeel van de gedekte's scoren commando, race condition mogelijkheden zijn te vinden in het ontwerp-bestanden en kan zowel worden gemarkeerd als fouten, ignoredor gemarkeerd als waarschuwingen. Door het specificeren race conditions als fouten, Overdekt kan ook worden gebruikt als een race condition checker.Covered ondersteunt momenteel Verilog-1995, Verilog-2001 (met uitzondering van de config blokken op dit moment), en een aantal SystemVerilog constructies. Metrics die worden gegenereerd zijn de volgende: · Lijn dekking · Wisselen dekking · Memory dekking · combinatorische logica dekking · FSM staat en state-transitie dekking · Bewering (functioneel) dekking Wat is er nieuw in deze release: · Ondersteuning toevoegen voor $ willekeurige en $ urandom systeem oproepen naar inline dekking. · Inclusief alle correcties aangebracht in de stabiele 0.7.5 release. · Het toevoegen van ondersteuning voor $ value $ plusargs systeem oproepen naar inline dekking. · Montage probleem met opgewekte IF statements. · Toegevoegd gebruikersdocumentatie voor inline dekking flow en score opties. · Bevestiging probleem met gegenereerde code te onderbreken door komma's gescheiden toewijzen verklaringen. · Uitgevoerd code vereenvoudiging en verbetering van de prestaties met de manier waarop verklaringen werden intern afgehandeld. · Verwijderde onnodige gesprekken naar simulatie functies bij het gebruik van inline code coverage (deze toegevoegde een voorstelling boete). · Verbeterde prestaties van de lijnen code generator voor de dimensionering opgewekte signalen. · Vaste geheugen indexering kwesties in verband met het geheugen dekking. · Ondersteuning toegevoegd voor statische functie en statische ternair operators voor de lijnen code coverage. · Toegevoegd code om onderscheid te maken functies statisch en niet gebruikt om de juiste ding voor de lijnen code coverage accumulatie doen. · Toegevoegd vcd_diff script dat de controles van de dumpfile uitvoer van non-inline en inline ontwerp-bestanden om te controleren of de inline code generator het resultaat niet verandert. Deze controle is nu een deel van alle inline regressie runs. · Gemaakt diverse prestatieverbeteringen om de VCD-bestand lezer. De lezer is nu 10-20% sneller. · Ondersteuning toegevoegd voor Verilator regressies runs en geport een paar diagnostische programma's om Verilator formaat. · Controle toevoegen om ervoor te zorgen dat een CDD bestand zonder inline-modus set die een VCD bestand met de lijnen dekking data leest zendt een fout aan de gebruiker en uitgangen sierlijk. · Toegevoegd -inline-comb-diepte score optie om de gebruiker naar een geringere combinatorische dekking diepte te geven om te worden gegenereerd - de verbetering van inline simulatie en dekking prestaties. · Voor Verilator runs ingevoegd pragma ongeveer tussenproduct combinatorische logica expressiesignalen hen uitsluiten uitgevoerd naar VCD bestanden. Dit verbetert simulatie en dekking prestaties voor Verilator runs (andere simulatoren die een VPI die automatisch deze signalen te verwijderen uit genererende verandering callbacks hebben). · Het uitvoeren van code vervanging van andere daadwerkelijke code met vooraf berekende tussenuitdrukking waarden voor nieuwe simulatie prestatieverbeteringen. · Toegevoegd "e" optie om -inline-metrics welke gebeurtenis dekking mogelijk maakt om te worden ingeschakeld / uit, onafhankelijk van andere combinatorische logica dekking. Dit maakt verdere simulatie en dekking prestatieverbeteringen (met name voor Verilator runs). · Toegevoegd optimalisatie die oorzaken codegeneratie worden overgeslagen bewering bestanden wanneer bewering dekking niet nodig is. · Volledige regressies loopt nu netjes met alle wijzigingen in de code.

Bedekt Gerelateerde software