Os aplicativos centrados em HL são compatíveis com plug-ins com os fluxos RTL existentes e os princípios de UVM, visando:
O Catapult Design Checker fornece vários modos de verificação estática e formal com botões de pressão que diminuem a necessidade de verificação baseada em simulação de seu projeto. Problemas de codificação, ambigüidades na fonte de design, questões de QoR e fontes de possíveis incompatibilidades entre HLS C++/SystemC e RTL são detectados rapidamente e o feedback é fornecido sobre a fonte e a causa.
Catapult Formal Assert é um aplicativo de verificação formal integrado ao Catapult HLS. As afirmações escritas no C-Source serão avaliadas com poderosos solucionadores formais que fornecem respostas rápidas, tempos limite e estratégias de solução configuráveis e um ambiente de depuração robusto. Afirmar, presumir e tampa são suportados. Os contra-exemplos criam um testbench de nível C e configurações gdb padrão, bem como um depurador gráfico de formas de onda Visualizer da SEDA.
A biblioteca de treinamento sob demanda Catapult High-Level Synthesis (HLS) contém um conjunto de caminhos de aprendizado com módulos para apresentar aos engenheiros o HLS e a verificação de alto nível.
Um grupo para discutir os pontos mais delicados do projeto e da verificação usando as ferramentas Siemens EDA HLS e HLV. Participe da discussão sobre novos tópicos, recursos, conteúdo e especialistas técnicos.
Um conjunto gratuito e aberto de bibliotecas implementado 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 aborda metodologias e técnicas de projeto e verificação de síntese de alto nível (HLS) de última geração.
Acesse documentação detalhada, lançamentos, recursos e muito mais.
Ajudando você a alcançar o máximo impacto nos negócios, abordando desafios complexos de tecnologia e negócios com uma combinação única de experiência em desenvolvimento e design e expertise em metodologia.
