基于理想转移矩阵电路可测性度量计算方法

• 作 者: 沈君华 江建慧
• 机 构: 同济大学嵌入式系统与服务计算教育部重点实验室, 上海 201804
• 出 处: 第十二届全国容错计算学术会议
• 发表日期: 2007年期
• 关键词: 理想 转移矩阵 矩阵电路 可测性 度量计算 重复计算 可测试性 矩阵张量积 可控制性 计算电路 改进算法 方法 准确性 输入源 指标 验证 线路 实验 概率

研究了使用理想转移矩阵来计算电路可测试性度量的方法。它与SCOAP的不同之处在于,以线路被置1和置0的概率作为衡量电路可控制性的指标,计算的结果更准确。提出了对原有的理想转移矩阵张量积计算的改进算法,它通过在计算张量积时使两个理想转移矩阵避免重复计算共同的输入源来提高可测试性度量计算的准确性。所提出的方法得到了实验的验证。