Bounded Model Checking; Debug; Formal Debugging; Post-Silicon Validation and Debug; QED; Quick Error Detection; Symbolic Quick Error Detection;
机译:硅前和硅后验证的符号快速错误检测:常见问题
机译:使用快速错误检测对芯片上系统进行有效的硅后验证
机译:基于DRAM的错误检测方法,可减少多个相同内核的硅后调试时间
机译:使用符号快速错误检测的硅后验证和调试的结构化方法
机译:片上调试体系结构,用于提高后硅验证期间的可观察性。
机译:一种调试方案,用于改进硅后验证中的错误识别
机译:调试硅后验证中与速度路径相关的电气错误的信号跟踪
机译:振动结构的识别,检测和验证:一种信号处理方法