Synopsys Formality vV-2023.12-SP3 Linux

Formality是一种等效性检查（EC）解决方案！提供完整的功能，包括直观的流程式用户界面，以简化验证流程。Formality中的自动设置文件将命令和变量设置为与Design Compiler（DC）或Fusion Compiler（FC）使用的设置相匹配，从而消除了手动且易出错的脚本。它基...

软件类别：行业软件下载次数：　更新日期：2025-12-05　软件等级：☆☆☆☆☆

共1页/1条