布尔推理论文

论文题目:逻辑电路的等价性检验方法研究论文类型:博士论文论文专业:计算机系统结构作者:李光辉导师:李晓维关键词:集成电路,形式验证,等价性检验,错误诊断,布尔推理文献来源:中国...