Descripción general
Comprobador de diseño de catapulta
Catapult trae pelusa y análisis formal para validar sus diseños de C ++/SystemC para que sean correctos antes de la síntesis. Evite problemas de diseño asociados con lecturas de memoria no inicializadas, accesos fuera del arreglo de discos enlazados, instrucciones de switch incompletas y problemas de QoR que pueden ocurrir al codificar para HLS.
La verificación en C++ reduce los costos hasta en un 80%
pelusa formal y estática para C ++/SystemC
Catapult Design Checker proporciona múltiples modos de comprobación que eliminan la necesidad de depuración basada en simulación de problemas en su diseño. Los problemas de codificación, los problemas de QoR y los posibles desajustes y ambigüedades de C ++ /SystemC a RTL, se detectan rápidamente dando una retroalimentación exacta sobre la fuente y la causa.
pelusa estática para QoR
Encontrar problemas comunes en la codificación antes de la síntesis es fácil con Catapult Design Checker.
Concéntrese en problemas específicos
Catapult Design Checker permite al usuario personalizar y priorizar las comprobaciones para centrarse en problemas urgentes mientras reduce el ruido de problemas ya conocidos.
¿Listo para tener una conversación sobre Design Checker?
Cualquier pregunta que pueda tener, ¡tendremos las respuestas!
Capacitación bajo demanda sobre catapulta
La biblioteca de capacitación bajo demanda Catapult de alto nivel (HLS) contiene un conjunto de rutas de aprendizaje con módulos para introducir a los ingenieros en HLS y la verificación de alto nivel.
Grupo de Síntesis y Verificación de Alto Nivel
Un grupo para discutir los puntos más finos del diseño y la verificación utilizando las herramientas de Siemens EDA HLS y HLV. Únase a la discusión sobre nuevos temas, características, contenido y expertos técnicos.
HLSLibs
Un conjunto libre y abierto de bibliotecas implementadas en C++ estándar para un diseño de hardware y software con precisión de bits. Es una comunidad abierta para el intercambio de conocimientos y propiedad intelectual para HLS que se puede utilizar para acelerar tanto la investigación como el diseño.
Blog de diseño y verificación de HLS
Blog que cubre metodologías y técnicas de diseño y verificación de síntesis de alto nivel (HLS) de próxima generación.
Soporte de Catapulta
Acceda a documentación detallada, versiones, recursos y más.
Consultoría EDA
Ayudarle a lograr el máximo impacto en el negocio al abordar complejos desafíos tecnológicos y empresariales con una combinación única de experiencia en desarrollo y diseño y experiencia en metodología.