CN1306706C - 数字逻辑模拟方法 - Google Patents

Abstract

本发明为一种数字逻辑模拟方法，是通过定义逻辑电路中每一节点的一节点状态具有高电位、低电位、未知、反未知等四种状态，而完成各种逻辑栅的真值表(truth table)并依此来进行数字逻辑的模拟，以避免习用模拟方法中无法判别的假未知状态(false unknown state)，从而增进数字模拟的准确度与精确性。

Description

数字逻辑模拟方法

本发明为一种使用于数字逻辑模拟的模拟方法，用于避免现有模拟方法中无法判别的假未知状态(false unknown state)。

在科技昌明的今日，各式各样的芯片、电路已经悄悄的充满在我们的生活四周，而它们的体积却也越来越小，让我们更不容易察觉到。然而，在功能强大与体积微小的两个需求上，如何能够达到平衡，正是芯片设计上一个重要的难题。为了要降低尝试错误的成本，芯片在开始制造前就在电路设计的阶段进行仔细的模拟、检验，已经成了不可缺少的步骤；然而为了达到功能强却体积小，电路的复杂程度往往成了模拟上的一大挑战。

在数字模拟上，通常是使用查表的方式来完成。由电路中的每个逻辑栅的每个输入逻辑值，通过查表得到输出逻辑值，再进入下一级的逻辑栅，直到得到最终的输出。而逻辑栅中各节点的节点状态，则有高电位、低电位、未知状态等三种状态。此种模拟方式在大部分的情形下都可以工作得很顺利，然而在某些特别的状况下，却无法判断一个节点的真正状态。

参考图1，逻辑电路的实例一。在实际的电路运作时，当输入节点一11和输入节点三13的节点状态都是高电位状态的时候，不管输入节点二12的节点状态是什么，输出节点17的节点状态都是高电位状态。然而，如果以现有的逻辑模拟方法来模拟所述电路的运作，则当输入节点二12的节点状态为未知状态时，输出节点17的节点状态也是未知的，而无法得到我们要的正确的模拟结果。以下就更进一步说明上述的谬误：

在实际的情况中，在输入节点一11和输入节点三13的节点状态都是高电位的前提下：

a)输入节点二12的节点状态为低电位时，节点四14的节点状态为高电位，同时节点五15的节点状态为高电位，因此节点六16的节点状态为低电位，所以输出节点17的节点状态为高电位。

b)输入节点二12的节点状态为高电位时，节点四14的节点状态为低电位，同时节点五15的节点状态为低电位，因此节点六16的节点状态为高电位，所以输出节点17的节点状态仍然为高电位。

然而若依查表的逻辑电路模拟方式，参考参考图3所表列的现有与非栅(NANDgate)真值表，在输入节点一11和输入节点三13的节点状态都是高电位的前提下：

输入节点二12的节点状态为未知状态时，节点四14的节点状态为未知状态，同时节点五15的节点状态亦为未知状态，因此节点六16的节点状态为未知状态，所以输出节点17的节点状态为未知状态。

而输出节点17的这种未知状态，是在进行数字模拟时才会出现的未知状态，在实际的电路中并不是未知，而是可以确定的节点状态，因此我们称这种状态为「假未知状态」(false unknown state)。

参考图2，逻辑电路的实例二。将上例电路中的与非栅替换成或非栅，在类似的情形下，当输入节点一11和输入节点三13的节点状态都是低电位的时候，不管输入节点二12的节点状态为何，输出节点17的节点状态都会是低电位，然而若依查表的方式模拟，却也会得到假未知状态的输出。

由此可见，现有技术的模拟方法在某些情形下并无法实现我们的要求。图1和图2的电路尚且是极为简单的电路，在电路更复杂的潮流下，现有模拟技术遇到上述这种假未知状态而无法判断节点状态的情况将会更加严重，在电路需求与复杂度都日益提高的今日，这将会变成逻辑电路发展上一个极为不便、难以克服的障碍。

鉴于现有技术的上述缺失，本发明的目的在于提供一种数字模拟方法，以解决数字电路模拟时的假未知所衍生的问题，以避免模拟时的误判。

为实现上述目的，根据本发明一方面提出的数字逻辑模拟方法，其特点是，它包含下列步骤：定义一节点的一节点状态具有四种状态，分别为一高电位、一低电位、所述节点的一未知、所述节点的一反未知状态；根据所述节点状态，作一数字逻辑运算而得到一真值表；以及对所述真值表以查表的方式实现数字逻辑的模拟。

上述中是以阿拉伯数字符号「1」来表示所述节点状态的所述高电位状态；以阿拉伯数字符号「0」来表示所述节点状态的所述低电位状态。

所述节点编号为n时，是以符号「Un」来表示所述节点状态的所述未知状态；以符号「~Un」来表示所述节点状态的所述反未知状态。

为实现上述目的，根据本发明另一方面提出的数字模拟的针对与非栅(NANDgate)真值表，所述与非栅具有一第一输入节点、一第二输入节点以及一输出节点，定义所述第一输入节点、所述第二输入节点及所述输出节点的一节点状态具有一高电位、一低电位、所述节点的一未知、所述节点的一反未知等四种状态，且所述第一输入节点的一节点编号为1、所述第二输入节点的一节点编号为2而所述输出节点的一节点编号为3。

其中，是以阿拉伯数字符号「1」来表示所述节点状态的所述高电位状态，而以阿拉伯数字符号「0」来表示所述节点状态的所述低电位状态。

所述节点编号为n时，是以符号「Un」来表示所述节点状态的所述未知状态；以符号「~Un」来表示所述节点状态的所述反未知状态。

所述第一输入节点的所述节点状态为「1」，所述第二输入节点的所述节点状态为「U2」时，所述输出节点的所述节点状态为「~U2」。

所述第一输入节点的所述节点状态为「0」，所述第二输入节点的所述节点状态为「U2」时，所述输出节点的所述节点状态为「1」。

当所述第一输入节点的所述节点状态为「U1」，所述第二输入节点的所述节点状态为「U2」时，相应所述第一输入节点与所述第二输入节点为相异的二节点，则所述输出节点的所述节点状态为「U3」；相应所述第一输入节点与所述第二输入节点为相同的二节点，则所述输出节点的所述节点状态为「~U1」。

当所述第一输入节点的所述节点状态为「U1」，所述第二输入节点的所述节点状态为「~U2」时，相应所述第一输入节点与所述第二输入节点为相异的二节点，则所述输出节点的所述节点状态为「U3」；相应所述第一输入节点与所述第二输入节点为相同的二节点，则所述输出节点的所述节点状态为「1」。

采用本发明的上述方案，由于本发明在模拟时已考虑到节点的未知及节点的反未知，于模拟时可一路追踪，确保模拟的正确性，借以达实现避免未知状态的误判情形。

为更清楚理解本发明的目的、特点和优点，下面将结合附图对本发明进行详细说明。

图1是逻辑电路实例一；

图2是逻辑电路实例二；

图3是现有与非栅(NAND gate)真值表；

图4是本发明的与非栅(NAND gate)真值表；

图5是本发明的或非栅(NOR gate)真值表；

图6是本发明的非栅(NOT gate或INV gate)真值表。

图1和图2乃是简单的逻辑电路实例，特意设计成会造成假未知状态，以方便进行上面的解说，两者的不同在于使用的逻辑栅不一样，借以阐明假未知状态的发生，与逻辑栅的种类无关，而是与模拟的方式有关。然而会造成假未知状态的电路，并不限于此二种电路组合，尚有许多可能的电路组合会得到假未知状态的结果，在电路复杂的时候，这种机会将更为增大。

图3是现有的与非栅(NAND gate)真值表，在现有的数字逻辑模拟中，便是依照此表来进行模拟的，由输入的值查表得到输出的值，以完成模拟的动作，却会造成我们想避免的假未知状态。

图4是本发明的与非栅(NAND gate)真值表，图5是本发明的或非栅(NOR gate)真值表，图6是本发明的非栅(NOT gate或INV gate)真值表，此三表都是经过本发明改进过的逻辑栅真值表。当依照这样的真值表来进行数字逻辑的模拟时，就可以避免假未知状态的情形。

上述真值表中，是以阿拉伯数字符号「1」来表示所述节点状态的高电位状态；以阿拉伯数字符号「0」来表示所述节点状态的低电位状态；当所述节点编号为n时，是以符号「Un 」来表示所述节点状态的所述未知状态；以符号「~Un」来表示所述节点状态的所述反未知状态；也就是说：

a)当第一输入节点的编号为1时，U1表示第一输入节点的节点状态的未知状态，~U1表示第一输入节点的节点状态的反未知状态；

b)当第二输入节点的编号为2时，U2表示第二输入节点的节点状态的未知状态，~U2表示第二输入节点的节点状态的反未知状态；

c)当输出节点的编号为3时，U3表示输出节点的节点状态的未知状态，~U3表示输出节点的节点状态的反未知状态；

d)当输入节点的编号为x时，Ux表示输入节点的节点状态的未知状态，~Ux表示输入节点的节点状态的反未知状态；

本发明为一种数字模拟方法，用于数字逻辑的模拟，它是定义数字电路中每一节点的一节点状态具有一高电位、一低电位、所述节点的一未知、所述节点的一反未知四种状态，并依所述节点状态得到各逻辑栅的真值表，再依照所述真值表来进行数字逻辑的模拟，以避免假未知状态的发生。

四种节点状态的代号表示方法已于前述。本发明与现有技术主要的相异处在于，除了未知状态以外，还增加了一个反未知状态，而不是把两者合并；同时，在记录未知、反未知状态的时候，会一并记录下所述节点的编号，而不是只记录下未知、反未知的状态值。

本发明的模拟方法，乃是参照经过上述将逻辑栅的节点状态重新定义后所得到的真值表，以查表的方式来进行模拟。以图1的逻辑电路实例一来进行模拟为例，在图4和图6的对应之下，在输入节点一11和输入节点三13的节点状态都是1时，输入节点二12的节点状态为未知状态时，我们将所述节点状态记录为U2，则节点四14的节点状态为~U2，同时节点五15的节点状态为~U2，因此节点六16的节点状态为U2，所以输出节点17的节点状态为1，也就是高电位。

同理，当参照图5和图6，对图2的电路进行模拟，则当输入节点一和输入节点三的节点状态都是0时，不管输入节点二的节点状态为何，我们都可以得到输出节点的节点状态是0，也就是低电位。

本发明的数字逻辑模拟方法，并不限于图4、图5、图6所列出的与非栅、或非栅及非栅等三种逻辑栅的真值表，其它各种类的逻辑栅亦可以依照前述节点状态定义的原则而得到其真值表，以进行各式各样数字逻辑电路的模拟。

由以上所述可知一、本发明的使用范围极为广泛，且其必要性将日趋重要。二、应用了本发明的模拟方法，可以增加模拟的精确性，并减少了修正与除错(debug)的成本。因此，本发明可降低成本、提升产品品质并极具有潜力。

Claims (5)

1.一种数字逻辑模拟方法，其特征在于，它包含下列步骤：

定义一逻辑电路的复数个节点个别的节点状态，该复数个节点具有四种状态，分别为一高电位、一低电位、所述节点的一未知、所述节点的一反未知节点状态；

根据所述高电位、该低电位、该未知及该反未知节点状态，作一数字逻辑运算而得到一供模拟参考用的真值表；以及

对所述真值表以查表的方式而实现该数字逻辑模拟。

2.如权利要求1所述的数字逻辑模拟方法，其特征在于，所述节点状态为高电位状态时，是以阿拉伯数字符号「1」来表示所述节点状态。

3.如权利要求1所述的数字逻辑模拟方法，其特征在于，所述节点状态为低电位状态时，是以阿拉伯数字符号「0」来表示所述节点状态。

4.如权利要求1所述的数字逻辑模拟方法，其特征在于，所述节点状态为所述节点的所述未知状态，且所述节点编号为n时，是以符号「Un」来表示所述节点状态。

5.如权利要求1所述的数字逻辑模拟方法，其特征在于，所述节点状态为所述节点的所述反未知状态，且所述节点编号为n时，是以符号「~Un」来表示所述节点状态。

Images