Descripción general
Comprobador de diseño de catapulta
Catapult aporta análisis formales y de pelusa para validar sus diseños de C++/SystemC para que sean correctos antes de la síntesis. Evite los problemas de diseño asociados con las lecturas de memoria sin inicializar, los accesos a matrices fuera de los límites, las sentencias de conmutación incompletas y los problemas de QoR que pueden producirse al codificar para HLS.
La verificación en C++ reduce los costes hasta un 80%
Lint formal y estático para C++/SystemC
Catapult Design Checker ofrece varios modos de comprobación que eliminan la necesidad de depurar los problemas de su diseño mediante simulaciones. Los problemas de codificación, los problemas de QoR y los posibles desajustes y ambigüedades entre C++/SystemC y RTL se detectan rápidamente y dan comentarios exactos sobre el origen y la causa.
Línea estática para QoR
Encontrar problemas comunes en la codificación antes de Synthesis es fácil con Catapult Design Checker.
Centrarse en problemas específicos
Catapult Design Checker permite al usuario personalizar y priorizar las comprobaciones para centrarse en los problemas urgentes y, al mismo tiempo, reducir el ruido de los problemas ya conocidos.
¿Está listo para tener una conversación sobre Design Checker?
Si tiene alguna pregunta, ¡tendremos las respuestas!
Catapult, entrenamiento bajo demanda
La biblioteca de formación bajo demanda de Catapult High-Level Synthesis (HLS) contiene un conjunto de itinerarios de aprendizaje con módulos para introducir a los ingenieros en el HLS y la verificación de alto nivel.
Grupo de síntesis y verificación de alto nivel
Un grupo para analizar los puntos más sutiles del diseño y la verificación mediante las herramientas EDA, HLS y HLV de Siemens. Únase al debate sobre nuevos temas, reportajes, contenido y expertos técnicos.
HL Libs
Un conjunto abierto y gratuito 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 las 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, publicaciones, recursos y mucho más.
Consultoría EDA
Le ayudamos a lograr el máximo impacto empresarial al abordar los complejos desafíos tecnológicos y empresariales con una combinación única de experiencia en desarrollo y diseño y conocimientos metodológicos.