SPEF（standard parasitic exchange format）是集成电路设计流程中EDA工具间传递互连线寄生参数的标准媒介文件。SPEF被后端StarRC或QRC工具抽取并用于之后的STA，在STA 的工具里反标上net的RC，搭配LIB DB里cell的RC, 完整的反映整个netlist的timing信息。

同步数字电路中主流还是用寄存器，但是锁存器(Latch)也不容忽视，它既能用作数据存储单元，又能作为时钟控制单元。

TCL（Tool Command Language）是一种解释型编程语言，它的主要设计目标是提供一个简单易用的脚本语言，而且可以方便地嵌入到其他程序中。TCL最初由约翰·奥斯汀（John Ousterhout）在1988年开发。TCL被广泛应用于自动化测试、GUI设计和网络编程等领域。TCL是一种功能强大且易学易用的脚本语言，在各个领域都有着广泛的应用。

Perl（Practical Extraction and Report Language）是一种高级编程语言，由拉里·沃尔（Larry Wall）于1987年创建。作为一种多用途的脚本语言，Perl在文本处理领域表现卓越，特别是在系统管理、网络编程和Web开发方面有广泛的应用。Perl的设计哲学旨在提高工作效率，它将多种编程范式（过程式、面向对象、函数式）结合在一起，形成了一个功能强大的工具集。

静态时序分析中最基本的就是setup和hold时序分析，其检查的是触发器时钟端CK与数据输入端D之间的时序关系。解决时序收敛的问题也是静态时序分析中的主要任务。