论文部分内容阅读
为解决林业机械设备控制芯片设计中模型检验问题，提出基于多项式理论的定界模型检验方法。首先，给出基于多项式形式的电路功能的统一描述。为了能够采用多项式形式描述电路功能．在传统的电路控制逻辑描述方法的基础上，将其进一步扩展，将传统方法中的原子命题转化为多项式形式．将布尔特征函数转化为多项式集合的形式。这样，可以与电路数据通路部分建立统一的多项式描述形式。其次．通过建立高级语言的关系模型，给出了电路在高层次描述中目标性质的抽取方法，通过该方法形成待验证性质的多项式形式描述．从而形成了待验证性质与电路功能统一的多