位置：成果数据库 > 会议 > 会议详情页
Debugging complex counterexample of hardware system using control flow distance metrics
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：47th Midwest Symposium on Circuits and Systems (MWSCAS 2004)
  • 成果类型：会议
  • 会场：Hiroshima, JAPAN
  • 相关项目：基于反例压缩的自动程序修正方法研究
作者： Shen, SY|Qin, Y|Li, SK|
同会议论文项目
基于反例压缩的自动程序修正方法研究
期刊论文 21 会议论文 10 获奖 2
同项目会议论文
Finding unsatisfiable subformulas with stochastic method
A heuristic local search algorithm for unsatisfiable cores extraction
Localizing errors in counterexample with iteratively witness searching
Synthesizing complementary circuits automatically
极小SMT不可满足子式提取算法
A fast counterexample minimization approach with refutation analysis and incremental SAT
A faster counterexample minimization algorithm based on refutation analysis
Minimizing counterexample of ACTL property
Minimizing counterexample with unit core extraction and incremental SAT