错误诊断论文

论文摘要物料清单(BOM)是企业产品制造过程中不同部门、不同流程间传递数据的基本形式,是企业集成管理的信息纽带。因此,BOM的结构设计及其数据正确性的维护都是企业信息管理中十分...

论文摘要正确性和有效性是集成电路设计验证的最大挑战，然而由于电路规模和复杂度的日益增加，逻辑设计的错误几乎不可避免，一旦验证工具发现电路设计存在错误，设计人员必须进行错误定位和...

论文摘要协议测试的目的是为了保证协议实现按照协议描述稳定可靠地运行。最近几年随着网络技术的发展，网络规模的增大，协议测试变得越来越重要。协议测试有很多种，协议一致性测试是其它测...

论文摘要作业和批改作业是一个重要的教学环节。大量研究表明,学生认真做作业和教师认真改作业对学生的学习质量和学习成绩具有至关重要的影响。利用计算机对学生作业进行识别和批改,较教师...

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