Catapult Coverage

A Catapult Coverage fornece cobertura de código compatível com HLS que, diferentemente das ferramentas de cobertura centradas em software, reconhece como as construções de design e as diretivas HLS afetam o hardware pós-HLS resultante e, portanto, as leva em consideração ao coletar e relatar a cobertura de código na fonte de design HLS. Os exemplos incluem diretivas de embutimento de funções e desenrolamento de loop. A Catapult Coverage também oferece suporte aos tipos de cobertura necessários na fonte de design HLS, como cobertura de Condition and Focused Expression (FEC), além de cobertura de acesso à matriz.

A Catapult Coverage fornece cobertura funcional inspirada em SV com suporte para grupos de cobertura, pontos de cobertura, compartimentos e cruzamentos em bancadas de teste C++/SystemC. Um método sample () também é suportado para especificar quando um grupo de cobertura deve ser amostrado. Assim como na RTL tradicional, essa cobertura funcional pode ser vinculada aos requisitos do plano de teste.

A Catapult Coverage grava dados de cobertura no Questa UCDB (Unified Coverage Database) para um conjunto completo de ferramentas de gerenciamento de verificação de pós-processamento. O UCDB permite o gerenciamento de verificação orientado por dados com suporte para análise e geração de relatórios de resultados de cobertura, fusão e classificação de testes, aplicação de exclusões e integração de planos de teste.

A integração com o Questa Visualizer fornece uma análise baseada em GUI dos dados de cobertura. Isso inclui a análise dos resultados da cobertura anotados na fonte e na hierarquia do design do HLS, uma janela do grupo de cobertura para revisar a cobertura funcional, a capacidade de realizar prontamente a classificação desejada e a especificação fácil das exclusões de cobertura desejadas com o botão do mouse.