生成组合逻辑电路测试的隐式枚举算法| IEEE期刊和杂志| IEEE Xplore