C++ 或 SystemC 是一种选择,它使团队可以灵活地决定最有效的设计任务方法是什么。无论是带有 AC 数据类型的顺序 C++ 的卓越仿真和验证速度 (hlslibs.org),或者使用 SystemC 和 MatchLib 进行显式并发建模(使用 AC 类型),Catapult 可以满足你的需求。
主要功能
卓越的设计、验证和实施
Catapult 在 C++/SystemC 中为 ASIC/FPGA 制作高质量的 RTL 只需手动编码时间的一半。设计空间探索、下游 RTL 综合集成以及功耗估算/优化可实现更好的设计。设计检查、代码覆盖率和形式化可将RTL验证成本降低多达80%。
有了 Catapult Flow,RTL 调试就完全消失了。C 模型在其环境中经过验证,并由此创建了按构造校正的 RTL。这大大减少了验证工作量。