Institute of Computing Technology, Graduate School of the CAS, Beijing, 100039;
机译:功能安全验证中基于SAT的故障等效检查
机译:使用端口顺序故障模型的SoC设计验证的自动形态生成验证模式
机译:基于相邻线路影响引起的故障激励的基于SAT的开放故障测试生成
机译:基于SAT的端口顺序故障验证算法
机译:基于SAT的形式验证的策略。
机译:双端口存储器中DDNps故障的高效O n()BIsT算法
机译:在stateflow(注册商标)环境中建模,以支持Nasa空间发射系统中任务和故障管理算法的运载火箭验证测试。