全部
  • 全部
  • 标题
  • 简介
  • TAG
Renesas 使用形式等效检查解决高层次设计中的验证问题
资料介绍

Renesas Electronics Corporation 的团队发现,SystemC 代码中存在的错误以及设计更改引起的相关问题,使得其高层次综合流程所具有的时间优势大打折扣。查找和调试这些问题花了太多的时间,而且还有一些错误混进了生成的 RTL 中。为应对这些挑战,他们增加了 Catapult 验证解决方案中包含的形式等效检查工具 SLEC。

阅读本白皮书,了解 Renesas 为什么认定 SLEC是其高层次设计流程必备的应用程序,以及 SLEC 如何提高验证质量和效率。

查看完整文档,请立即下载
  • 可能感兴趣
X
广告