Catapult Coverage

A Catapult Coverage HLS-tudatos kódlefedettséget biztosít, amely a szoftverközpontú lefedettségi eszközökkel ellentétben felismeri, hogy a tervezési konstrukciók és a HLS-irányelvek hogyan befolyásolják az így létrejövő HLS utáni hardvert, és így ezeket figyelembe veszi a HLS tervezési forrás kódlefedettségének gyűjtése és jelentése során. Ilyenek például a funkcióbeillesztési és a hurok-kibontási irányelvek. A Catapult Coverage támogatja a szükséges lefedettségi típusokat is a HLS tervezési forrásoknál, például a Condition and Focused Expression (FEC) lefedettséget, valamint a tömbhozzáférési lefedettséget.

A Catapult Coverage az SV által ihletett funkcionális lefedettséget biztosít a C++/SystemC tesztpadokon belüli Covergroups, Coverpoints, Tartók és Keresztek támogatásával. A minta () módszer is támogatott annak meghatározására, hogy mikor kell mintát venni egy fedőcsoportból. A hagyományos RTL-hez hasonlóan ez a funkcionális lefedettség összekapcsolható a tesztterv követelményeihez.

A Catapult Coverage lefedettségi adatokat ír a Questa UCDB-be (Unified Coverage Database) az utófeldolgozás ellenőrzési kezelési eszközeinek teljes készletéhez. Az UCDB lehetővé teszi az adatvezérelt ellenőrzési menedzsmentet a lefedettségi eredmények elemzésének és jelentésének támogatásával, a tesztek egyesítését és rangsorolását, a kizárások alkalmazását és a teszttervek integrálását.

A Questa Visualizer-rel való integráció lehetővé teszi a lefedettségi adatok GUI-alapú elemzését. Ez magában foglalja a HLS tervezési forrásán és hierarchiáján megjegyzett lefedettségi eredmények elemzését, a fedőcsoport ablakot a funkcionális lefedettség áttekintésére, a kívánt rangsorolás egyszerű végrehajtásának képességét és a kívánt lefedettségi kizárások egyszerű egérgombos kattintási specifikációját.