SpyGlass CDC tool是一种Formal Check Methodology工具, 相比写case跑仿真来找CDC问题, ... 目前包括SpyGlass CDC/Constraints/DFT/Power/TXV Methodology. 其他术语:
確定! 回上一頁