使用 C++ 和 C++ 验证平台设计硬件能够将仿真速度提升多个数量级。但在高层次综合 (HLS) 之后,团队需要一种方法来快速确保新生成的 RTL 与原始非时序 C++ 在功能上是相同的。他们不希望为了进行此项比较而创建 RTL 验证平台。团队需要一种自动冒烟测试,只需极少的工作便能快速进行比较。本白皮书介绍 Catapult HLS 平台所包含的 SCVerify 如何为团队提供执行一键式冒烟测试的功能。
相关附件
mentorpaper107729.pdf695.98 KB
使用 C++ 和 C++ 验证平台设计硬件能够将仿真速度提升多个数量级。但在高层次综合 (HLS) 之后,团队需要一种方法来快速确保新生成的 RTL 与原始非时序 C++ 在功能上是相同的。他们不希望为了进行此项比较而创建 RTL 验证平台。团队需要一种自动冒烟测试,只需极少的工作便能快速进行比较。本白皮书介绍 Catapult HLS 平台所包含的 SCVerify 如何为团队提供执行一键式冒烟测试的功能。
相关附件
mentorpaper107729.pdf695.98 KB