摘要
本文提出了一种新的对数字电路进行逻辑分析的方法——推理方法。该方法将逻辑分析问题看作是一个自动定理证明问题,即将逻辑电路知识看成为公理,给定的数字网络结构和输入信号看成是已知成立的命题(引理),而待求的输出信号看成是蕴含在上述这些命题中的新命题(定理),逻辑分析过程就是从公理,引理中自动导出定理的过程,即推理过程。本文详细介绍了推理方法的原理,推理的过程,最后将这种分析方法与传统的逻辑分析方法进行了比较。
A new method for digital network logic analysis-reasoning approach is presented in this paper. In this approach the problem of logic analysis is considered as a problem of an automatic theorem proving, that is, all the knowledge of the basic logic networks, the network topology of the simulated logic and the input signal sequences are all considered as axioms, lemmas or predefined assertions, and the output signals to be found are the new assertions implied in all the premises, the process of a logic analysis is just the process to infer the new assertions (theorems) from the axioms, lemmas.The principle of the reasoning approach and the reasoning procedure for logic analysis are introduced in detail in this paper. A comparison between the new approach and the traditional logic simulation methods has also been made.
出处
《电子学报》
EI
CAS
CSCD
北大核心
1989年第1期79-83,共5页
Acta Electronica Sinica
