研究文章

多路检测使用布尔可满足性的技术

图7

检测1024芯片相关的概率。
365107. fig.007