...
机译:具有抽象和优化功能的自动化设计调试
Abstraction; debugging; diagnosis; refinement; verification; very large scale integration;
机译:具有抽象优化功能的低开销,全自动统计调试
机译:低开销和全自动统计调试,具有抽象细化
机译:基于路径的抽象和优化基于SAT的设计调试
机译:自动化设计调试中的抽象和优化技术
机译:基于SAT的自动设计调试:改进和在低功耗设计中的应用
机译:数据密集型可扩展计算中的自动调试
机译:具有抽象和优化功能的自动化设计调试