静态时序分析与形式验证
静态时序分析（STA）和形式验证是提升数字集成电路设计速度和精度的技术。PrimeTime可用于STA，Formality可用于形式验证。两者基于Tcl脚本语言。
文件大小：361.64KB
文件大小：361.64KB
评论区