基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 Based on temporal logic, the standard logical operation formula, axioms and extension theorems are defined. Based on the initial characteristics required for test generation and verification, Global Temporal Logic GTL is proposed to avoid backtracking problems in verification and testing, resulting in increased verification and testing efficiency. In addition, according to the fan-in and fan-out of circuit nodes, this paper introduces a method to improve the search strategy by using time line and other enlightenment knowledge.