...
机译:基于零抑制的二进制决策图的测试集松弛,用于单次和多次卡死故障
Relaxation; Zero suppressed binary decision diagram; ZBDD; Test power;
机译:基于零抑制的二进制决策图的测试集松弛,用于单次和多次卡死故障
机译:多个卡住故障的自动测试码型生成:当单个故障的测试不足时
机译:多个卡住故障的自动测试码型生成:当单个故障的测试不足时
机译:使用单个固定故障测试集的多种固定故障分析的改进技术
机译:在电路网表和零抑制二进制决策图上验证了基于蒙特卡洛的分析。
机译:大规模全基因组测序研究中连续和二元性状的有效变异集混合模型关联检验
机译:使用平台FPGA进行故障仿真和测试集生成以检测卡住的故障
机译:桥接故障的不可检测性和卡住故障测试装置的有效性