概述
Catapult 设计检查器
Catapult 带来了 lint 和形式分析，可以在合成之前验证您的 C++/SystemC 设计的正确性。避免与未初始化的内存读取、超出范围的数组访问、交换机语句不完整以及 HLS 编码时可能出现的 QoR 问题相关的设计问题。
在 C++ 进行验证可将成本降低多达 80%
主要功能
适用于 C++/SystemC 的正式和静态 Lint
Catapult 设计检查器提供多种检查模式，无需对设计中的问题进行基于仿真的调试。可以迅速发现编码问题、QoR 问题以及潜在的 C++/SystemC 与 RTL 的不匹配和歧义，并提供有关来源和原因的准确反馈。
查找 QOR 问题
QoR 的静态 Lint
使用 Catapult Design Checker 可以轻松地在合成之前找到编码中的常见问题。
自定义检查模式
专注于特定问题
Catapult Design Checker 使用户能够自定义检查并确定检查的优先顺序，以专注于紧迫的问题，同时减少已知问题产生的噪音。
