Información general
Comprobador de diseño Catapult
Catapult ofrece análisis formales y de líneas para validar la corrección de sus diseños de C ++/SystemC antes de la síntesis. Evite los problemas de diseño asociados con las lecturas de memoria no inicializadas, 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 costos hasta en un 80%
Lint formal y estático para C++/SystemC
Catapult Design Checker proporciona varios modos de verificació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, proporcionando información exacta sobre el origen y la causa.
Estatic Lint para QoR
Encontrar problemas comunes en la codificación antes de Synthesis 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 los problemas urgentes y, al mismo tiempo, reducir el ruido de los problemas ya conocidos.
¿Estás listo para tener una conversación sobre Design Checker?
¡Cualquier duda que pueda tener, tendremos las respuestas!
Capacitación a pedido de Catapult
La biblioteca de capacitación bajo demanda de Catapult High-Level Synthesis (HLS) contiene un conjunto de rutas de aprendizaje con módulos para presentar a los ingenieros 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 utilizando las herramientas EDA HLS y HLV de Siemens. Únase al debate sobre nuevos temas, funciones, contenido y expertos técnicos.
LBS HLS
Un conjunto gratuito y abierto de bibliotecas implementadas en C++ estándar para el diseño de hardware y software con precisión de bits. Se trata de una comunidad abierta para el intercambio de conocimientos y propiedad intelectual sobre 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, versiones, 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.