Catapult Coverage

A Cobertura Catapult fornece cobertura de código com reconhecimento de HLS que, ao contrário das ferramentas de cobertura centradas no software, reconhece como as construções de design e as diretivas HLS impactam o hardware pós-HLS resultante e, portanto, leva isso em consideração ao coletar e relatar a cobertura de código na fonte de design HLS. Os exemplos incluem diretivas de alinhamento de função e desenrolamento de loop. A Cobertura Catapult Coverage também suporta os tipos de cobertura necessários na fonte de design HLS, como a cobertura de Condição e Expressão Focada (FEC) mais cobertura de acesso à matriz.

A Cobertura Catapult fornece cobertura funcional inspirada em SV com suporte para grupos de cobertura, pontos de cobertura, caixotes e cruzamentos dentro de bancos de teste C ++/SystemC. Um método de amostra () também é suportado para especificar quando um grupo de cobertura deve ser amostrado. Tal como acontece com a RTL tradicional, esta cobertura funcional pode estar ligada 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 gestão de verificação pós-processamento. A UCDB permite uma gestão de verificação baseada em dados com suporte para análise e relatório 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 permite a análise baseada em GUI dos dados de cobertura. Isso inclui a análise dos resultados da cobertura anotados na fonte e hierarquia do projeto HLS, uma janela do grupo de cobertura para rever a cobertura funcional, a capacidade de realizar prontamente a classificação desejada e a especificação fácil do clique do botão do mouse das exclusões de cobertura desejadas.