白皮书
数字化认证管理
从滑翔机和直升机到商务客机和军用飞机，所有飞机都必须能够持续证明其设计和所有生产机型适航。这一过程被称为适航性认证，与飞机涉及的每个人息息相关，包括制造商、所有者、经营者以及整个生命周期所牵涉的所有利益相关方。
相关资源
Webinar
Xperi®: A Designer’s Life with HLS
This webinar will discuss two aspects of their experience going from RTL to HLS. The first topic is using HLS for algorithms such as Face Detection th
Webinar
High-Level Synthesis Verification Technologies and Techniques
This session will describe applying known and trusted static, formal and dynamic approaches to verification performed at the C++ or SystemC HLS level of abstraction.
Webinar
NVIDIA: High-Level Synthesis in Agile System-on-Chip Flows: Overview and Techniques
This talk provides a brief overview of NVIDIA Research’s use of Catapult HLS and highlights some useful features and flows of the Connections library, such as the ability to back-annotate SystemC simulations.