这种强大的验证方法与一系列一流的引擎相结合，支持漏洞搜寻、边界检查和全面防范策略。SLEC旨在补充典型的仿真验证，它与Siemens EDA Visualizer等调试工具集成在一起，用于了解伪造情况。
主要功能
C++/systemc/RTL 的形式验证
当设计人员将高级描述移至 RTL 中，或者对 RTL 进行功耗优化时，他们必须知道结果在功能上是否与原始结果相同。SLEC 发动机为手动、高级合成（CataPult 生成）和功率优化 RTL 等效性检查提供解决方案。
适用于涉及手工编码 RTL 中复杂实现的最艰巨的手动形式验证挑战。SLEC-System 提供的功能可以对设计模块进行形式验证，例如双精度浮点乘法、多加法以及其他在 RTL 中根本无法详尽仿真的问题。
