Synopsys 的VC Formal、VC LP、VC SpyGlass、SpyGlass 和时序约束管理器工具 使设计人员和验证工程师能够在设计流程的早期快速分析和检查RTL 设计,无需 ...
確定! 回上一頁