Visão geral
Verificador de design de catapulta
Catapult traz análises formais e de fiapos para validar seus projetos C++/SystemC quanto à exatidão antes da síntese. Evite problemas de design associados a leituras de memória não inicializadas, acessos a matrizes fora do limite, instruções de switch incompletas e problemas de QoR que podem ocorrer ao codificar para HLS.
A verificação em C++ reduz os custos em até 80%
Lint formal e estático para C ++/SystemC
Catapult Design Checker fornece vários modos de verificação que eliminam a necessidade de depuração de problemas baseada em simulação em seu projeto. Problemas de codificação, problemas de QoR e possíveis incompatibilidades e ambigüidades de C ++/SystemC a RTL são detectados rapidamente, fornecendo feedback exato sobre a origem e a causa.
Static Lint para QoR
Encontrar problemas comuns na codificação antes da síntese é fácil com o Catapult Design Checker.
Concentre-se em problemas específicos
Catapult Design Checker permite que o usuário personalize e priorize as verificações para se concentrar em problemas urgentes e, ao mesmo tempo, reduzir o ruído de problemas já conhecidos.
Treinamento sob demanda Catapult
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.
Grupo de síntese e 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.
Libras HLS
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 de design e verificação do HLS
Blog que aborda metodologias e técnicas de projeto e verificação de síntese de alto nível (HLS) de última geração.
Suporte de catapulta
Acesse documentação detalhada, lançamentos, recursos e muito mais.
Consultoria EDA
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.