上，等效性检查还可以检查两个寄存器传输级设计之间，或者两个门级网表之间的逻辑等效性。
时序分析.现代集成电路的时钟频率已经到达了兆赫兹级别，而大量模块内、模块之间的时序关系极其复杂，因此，除了需要验证电路的逻辑功能，还需要进行时序分析，即对信号在传输路径上的延迟进行检查，判断其是否符合时序收敛要求。时序分析所需的逻辑门标准延迟格式信息可以由标准单元库（或从用户自己设计的单元从提取的时序信息）提供。随着电路特征尺寸不断减小，互连线延迟在实际的总延时中所占的比例愈加显着，因此在物理设计