基于电路状态信息和冲突分析的部分扫描设计

该文提出了一种割断关键回路的方法来选择扫描触发器。该方法在选择一定数量的扫描触发器后,采用逻辑模拟更新电路的状态信息,这样可以得到更为精确的可测试性信息。当电路中的关键回路割断后,转向消除冲突的处理,而不是降低时序深度。该方法致力于消除冲突,并使用了一种基于冲突分析的测度conflict.足够的实验结果表明该方法是非常有效的。