相对于同步时序电路,异步时序电路在功耗、模块化、性能和电磁兼容等方面有比较大的优势。目前,在异步时序集成电路的设计技术的研究和异步时序集成电路的设计上已经进行了不少有益的尝试,取得了不少成果,展现了异步时序集成电路的光明前景。然而,高效的产品测试技术依然是异步时序电路大规模应用的一个很大的障碍。在论文中,我们先对异步时序电路稳定状态求解问题进行了研究。根据电路的稳定状态表或稳定状态图,可以进一步求解电路的稳定状态方程和输出方程,从而求得故障的测试矢量;或者根据电路的稳定状态表或状态转移图对电路进行功能测试。作者在分析了门的同或加模型求解异步时序电路稳定状态的特点后提出用布尔满足方法来求解异步时序电路的稳定状态,根据门级异步时序电路的特点,提出了一些旨在提高算法效率的加速策略,有效地加速了稳定状态的求解。本文还针对异步时序电路测试生成问题进行了有益的研究。基于稳定状态表的故障的测试生成是在先得到故障区分矢量基础上,然后根据稳定状态转移图求这个区分矢量的预置序列。由于对于每个故障都需要计算故障电路的稳定状态表,故用这个方法求故障的测试矢量的计算量依然比较大。我们依据一个故障只需求一个测试矢量的思路,进一步对求解异步时序电路测试矢量过程进行了分析,提出了一个不依赖于电路稳定状态表的完整的异步时序电路的测试生成算法,具体说来,就是用布尔满足方法,对使用了主路径选择等若干加速策略的正常电路和故障电路的CNF公式进行满足运算,得到一个故障区分矢量,然后用该矢量对电路进行模拟,考察电路中有哪些与故障传递有关的门不能由该矢量直接满足而依赖电路以前的状态,然后识别由不满足门构成的回路,生成由不满足门及相关到初级输入的门构成的CNF公式,从离初级输出最近的回路开始作反向满足,求解使该回路直接得到满足的初级输入,然后再满足其后的回路,直到电路未满足部分全部得到满足而求得该故障的测试矢量或判定在该路径上无法求得测试矢量则重新选择路径重复上面的过程直到求