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

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