這種強大的驗證方法與一系列頂級引擎結合，可實現錯誤搜索、限制檢查和全面防護策略。SLEC 旨在補充典型基於模擬的驗證，並與西門子 EDA 視覺化器等調試工具集成，以了解偽造。
主要功能
C++/系統/RTL 的正式驗證
當設計人員將高層描述移到 RTL 中，或將電源最佳化進行 RTL 時，他們必須知道結果在功能上是否相當於原始的結果。SLEC 引擎提供手動、高級合成（投射器生成）和功率最佳化 RTL 等效檢查的解決方案。
應付最艱難的手動正式驗證挑戰，涉及在手工編碼 RTL 中複雜實現。SLEC 系統提供了能夠正式驗證設計圖塊的正式驗證，例如雙精度浮點乘法、多加和其他問題，這些問題只是無法在 RTL 中完全模擬的問題。
