Keywords CNF;asynchronous circuit;boolean satisfaction;test pattern generation;stable state graph;

• 异步时序电路;布尔满足;测试生成;稳定状态图;