Catapult Coverage

Catapult Coverage обеспечивает покрытие кода с учетом HLS, которое, в отличие от программных инструментов покрытия, учитывает влияние проектных конструкций и директив HLS на аппаратное обеспечение, полученное после HLS, и, таким образом, учитывает это при сборе и составлении отчетов о покрытии кода в исходном коде проекта HLS. Примеры включают директивы встраивания функций и развёртывания циклов. Catapult Coverage Catapult также поддерживает необходимые типы покрытия в проектном источнике HLS, такие как покрытие Condition and Focused Expression (FEC), а также покрытие доступа к массиву.

Catapult Coverage обеспечивает функциональное покрытие в стиле SV с поддержкой групп Covergroups, Coverpoints, Bins и CrossystemC на испытательных стендах C++/SystemC. Также поддерживается метод sample (), позволяющий указать, когда следует отбирать группу обложки. Как и в случае с традиционным RTL, это функциональное покрытие может быть связано с требованиями плана тестирования.

Catapult Coverage записывает данные покрытия в Questa UCDB (Unified Coverage Database) для получения полного набора инструментов управления верификацией после обработки. UCDB обеспечивает управление верификацией на основе данных с поддержкой анализа и отчетности о результатах покрытия, объединения и ранжирования тестов, применения исключений и интеграции планов тестирования.

Интеграция с Questa Visualizer обеспечивает анализ данных покрытия на основе графического интерфейса. Сюда входит анализ результатов покрытия, аннотированных в исходном коде и иерархии проекта HLS, окно группы обложек для просмотра функционального покрытия, возможность быстрого ранжирования и простое определение желаемых исключений из страхового покрытия нажатием кнопки мыши.