逻辑综合, Design Compiler NXT, Genus Synthesis Solution. 等价验证, Formality, Conformal LEC (Smart LEC). 网表检验, SpyGlass Lint. Pre-DFT检验, SpyGlass DFT ...
確定! 回上一頁