Institute of Computing Technology, Chinese Academy of Sciences, Beijing, 100080;
机译:基于LUT的FPGA设计的错误诊断技术,结合了基于模式的技术和基于BDD的形式技术
机译:基于LUT的FPGA设计结合模式的技术与基于BDD的形式技术的误诊技术
机译:ErrorTracer:基于故障仿真技术的设计错误诊断
机译:基于验证技术的设计错误诊断逻辑集成电路设计
机译:软件验证技术在硬件设计验证中的应用。
机译:摇瓶中常规DOT测量技术中的潜在错误以及使用旋转flexitube光学传感器的验证
机译:ErrorTracer:基于故障仿真技术的设计错误诊断