白皮书
在高层次综合之前查找代码问题
为了显著加快验证速度，处理每天都会变化的复杂算法，很多公司转向采用高层次综合 (HLS) 方法。但是，高层次 C++ 模型必须是正确的，这一点极其重要。此外，C++ 语言具有歧义性，在仿真过程中很难发现。
相关资源
White Paper
Renesas 使用形式等效检查解决高层次设计中的验证问题
Renesas Electronics Corporation 的团队发现，SystemC 代码中存在的错误以及设计更改引起的相关问题，使得其高层次综合流程所具有的时间优势大打折扣。