Las aplicaciones centradas en HL son compatibles con los complementos con los flujos de RTL y los principios de la UVM existentes, y tienen como objetivo:
Catapult Design Checker ofrece varios modos de comprobación estática y formal con varios botones que reducen la necesidad de verificar su diseño mediante simulaciones. Los problemas de codificación, las ambigüedades de las fuentes de diseño, los problemas de QoR y las fuentes de posibles desajustes entre HLS C++/SystemC y RTL se detectan rápidamente y se proporcionan comentarios sobre el origen y la causa.
Catapult Formal Assert es una aplicación de verificación formal integrada con Catapult HLS. Las afirmaciones escritas en C-Source se evaluarán con potentes solucionadores formales que proporcionen una respuesta rápida, tiempos de espera y estrategias de resolución configurables y un entorno de depuración sólido. Afirmar, suponer y portada son compatibles. Los contraejemplos crean un banco de pruebas de nivel C y una configuración de gdb predeterminada, así como un depurador gráfico de formas de onda Visualizer de SEDA.
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.
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.
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 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.
Acceda a documentación detallada, publicaciones, recursos y mucho más.
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.
