Bug Localization; On-chip Trace Analysis; Root Cause Analysis; SAT-based; post silicon debug; post silicon validation; satisfiability;
机译:硅分析后基于形式分析的跟踪计算
机译:基于集群恢复的跟踪信号选择,用于后硅调试
机译:基于集群恢复的后硅调试的跟踪信号选择
机译:基于可满足性的硅调试后故障跟踪分析
机译:跟踪信号选择,用于后硅调试。
机译:一种调试方案,用于改进硅后验证中的错误识别
机译:用于系统片上协议调试的硅跟踪分析方法