Catapult Coverage

Catapult Coverage Catapult Coverage biedt HLS-bewuste codedekking die, in tegenstelling tot softwaregerichte dekkingstools, herkent hoe ontwerpconstructies en HLS-richtlijnen van invloed zijn op de resulterende post-HLS-hardware en daar dus rekening mee houdt bij het verzamelen en rapporteren van codedekking op de HLS-ontwerpbron. Voorbeelden hiervan zijn richtlijnen voor het invoeren van functies en het uitrollen van lussen. Catapult Coverage ondersteunt ook de benodigde dekkingstypen op de HLS-ontwerpbron, zoals Condition and Focused Expression (FEC) dekking plus dekking voor arraytoegang.

Catapult Coverage biedt functionele dekking op basis van SV met ondersteuning voor Covergroups, Coverpoints, Bins en Crosses binnen C++/SystemC-testbanken. Een sample () -methode wordt ook ondersteund om te specificeren wanneer een covergroep moet worden bemonsterd. Net als bij traditionele RTL kan deze functionele dekking worden gekoppeld aan de vereisten voor het testplan.

Catapult Coverage Catapult Coverage schrijft dekkingsgegevens naar de Questa UCDB (Unified Coverage Database) voor een complete set tools voor verificatiebeheer na de verwerking. UCDB maakt datagestuurd verificatiebeheer mogelijk met ondersteuning voor analyse en rapportage van dekkingsresultaten, het samenvoegen en rangschikken van tests, het toepassen van uitsluitingen en integratie van testplannen.

De integratie met Questa Visualizer zorgt voor een analyse van dekkingsgegevens op basis van een GUI. Dit omvat het analyseren van de dekkingsresultaten die zijn geannoteerd op de HLS-ontwerpbron en -hiërarchie, een venster voor de covergroep om de functionele dekking te bekijken, de mogelijkheid om eenvoudig de gewenste rangschikking uit te voeren en een eenvoudige specificatie van de gewenste dekkingsuitsluitingen met een muisklik.