随着集成电路设计和制造水平的不断提高,测试面临着越来越多的困难,可测性设计(DFT)成为解决测试问题的主要手段。其中,内建自测试......

以一类布尔方程组形式的NP问题可满足性阈值估计为研究目的,通过将高斯消去算法与摘叶算法相结合的方法给出了一种求解该问题的完......

对极大平面图的4-着色布尔方程组{Fd1^1（x1,x2,…,xn）=1 Fd2^2（x1,x2,…,xn）=1 ......

针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核，提出了一种基于布尔方程组的复合配置约束表达形式，给出了配置约......