As aplicações centradas em HL são compatíveis com plug-in com os fluxos RTL existentes e princípios UVM, visando:
O Catapult Design Checker fornece vários modos de verificação estática e formal de botão de pressão que diminuem a necessidade de verificação baseada em simulação do seu design. Problemas de codificação, ambiguidades da fonte de design, preocupações de QoR e fontes potenciais de incompatibilidades HLS C++/SystemC para RTL são rapidamente detectados e é fornecido feedback quanto à fonte e causa.
Catapult Formal Assert é uma aplicação de verificação formal integrada com Catapult HLS. As afirmações escritas em C-Source serão avaliadas com poderosos solucionadores formais que fornecem resposta rápida, tempos limite configuráveis e estratégias de resolução, e um ambiente de depuração robusto. Afirmar, suponho e cobrir são apoiados. Os contra-exemplos criam um testbench de nível C e configurações padrão do gdb, bem como um depurador gráfico de forma de onda do Visualizer da SEDA.
A biblioteca de training a pedido Catapult High-Level Synthesis (HLS) contém um conjunto de caminhos de aprendizagem com módulos para apresentar aos engenheiros o HLS e verificação de alto nível.
Um grupo para discutir os melhores pontos de design e verificação usando as ferramentas Siemens EDA HLS e HLV. Junte-se à discussão sobre novos tópicos, funcionalidades, conteúdo e especialistas técnicos.
Um conjunto gratuito e aberto de bibliotecas implementadas em C++ padrão para design de hardware e software com precisão de bits. É uma comunidade aberta para troca de conhecimento e IP para HLS que pode ser usada para acelerar a pesquisa e o design.
Blog que abrange metodologias e técnicas de design e verificação de síntese de alto nível (HLS) da próxima geração.
Aceda a documentação detalhada, lançamentos, recursos e muito mais.
Ajudá-lo a alcançar o máximo impacto nos negócios, abordando desafios complexos de tecnologia e empresas com uma combinação única de experiência em desenvolvimento e design e especialização em metodologia.
