Keywords CNF;asynchronous circuit;boolean satisfaction;test pattern generation;stable state graph;
英
美
异步时序电路;布尔满足;测试生成;稳定状态图;
目录
查词历史
英 汉