Catapult Design Checker 提供多种按钮静态和形式检查模式，可减少对设计进行基于仿真的验证的需求。可以迅速发现编码问题、设计源歧义、QoR 问题以及潜在的 HLS C++/SystemC 与 RTL 不匹配的来源，并提供有关来源和原因的反馈。
主要功能
Catapult Formal
以 HL 为中心的应用程序插件兼容现有 RTL 流程和 UVM 原则，目标是：
- 检查设计中是否存在未定义的行为
- 实现保险封锁
- 检测会改变设计行为的设置错误
- 检查实现的正确性
- 通过错误搜寻来发现差异
Catapult Formal Assert 是一款与 Catapult HLS 集成的正式验证应用程序。使用 C-Source 编写的断言将使用强大的形式求解器进行评估，这些解算器提供快速响应、可配置的超时和求解策略以及强大的调试环境。 断言， 假设 和 覆盖 支持。反例创建 C 级测试平台和默认 gdb 设置以及 SEDA 的可视化器图形波形调试器。
