论文部分内容阅读
本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信号看成是已知成立的命题(引理),而待求的输出信号看成是蕴含在上述这些命题中的新命题(定理),逻辑分析过程就是从公理,引理中自动导出定理的过程,即推理过程。本文详细介绍了推理方法的原理,推理的过程,最后将这种分析方法与传统的逻辑分析方法进行了比较。
This paper presents a new method of logic analysis of digital circuits - reasoning method. The method regards the problem of logic analysis as an issue of automatic theorem proving, that is, the knowledge of logic circuit is regarded as axiom, the given digital network structure and input signal are regarded as known propositions (lemma), while the output to be sought The signal is regarded as a new proposition (theorem) contained in these propositions. The process of logical analysis is the process of automatically deducing the theorem from axioms and lemmas, that is, the inference process. This article introduces in detail the principle of reasoning method and the reasoning process, and finally compares this method with the traditional method of logic analysis.