公开(公告)号：US06959271B1

公开(公告)日：2005-10-25

申请号：US09692422

申请日：2000-10-19

Applicant: Peter Ballam

Inventor： Peter Ballam

IPC: G06F17/50

CPC classification number: G06F17/5022

Abstract: A method is described for identifying an inaccurate model of a hardware circuit. The method includes the steps of simulating the model of the circuit by applying a plurality of signals, said plurality of signals having at least one abstract data type level to provide a set of expected results, replacing the at least one abstract data type level with two or more levels having different values to thereby provide and expanded set of signals to apply to said model, resimulating the model with said expanded set and comparing the two sets of results and providing an output signal indicating if the model is inaccurate if the results contradict.

Abstract translation: 描述了一种用于识别硬件电路的不准确模型的方法。 该方法包括以下步骤：通过应用多个信号来模拟电路的模型，所述多个信号具有至少一个抽象数据类型级别以提供一组预期结果，用至少一个抽象数据类型级别替换两个 或更多级别，从而提供和扩展的信号集合以应用于所述模型，用所述扩展集合重新模拟模型并比较两组结果，并提供指示如果结果矛盾的模型是否不准确的输出信号。

公开(公告)号：US06847926B1

公开(公告)日：2005-01-25

申请号：US09692297

申请日：2000-10-19

Applicant: Peter Ballam

Inventor： Peter Ballam

IPC: G06F17/50

CPC classification number: G06F17/5022

Abstract: A method is described for distinguishing between an input or output signal on a bi-directional pin of a model of a hardware circuit. The method includes the steps of for a bi-directional pin of said model applying signals to said pin at a reduced drive strength such that a driven signal on said pin will be superimposed over the applied signal, and comparing the drive strength on the bi-directional pin and responsive to said comparison determining whether the bi-directional pin is an input or output.

Abstract translation: 描述了用于区分硬件电路模型的双向引脚上的输入或输出信号的方法。 该方法包括以下步骤：所述模型的双向引脚以降低的驱动强度将信号施加到所述引脚，使得所述引脚上的驱动信号将叠加在所施加的信号上，并且比较双向引脚上的驱动强度， 并且响应于所述比较确定双向引脚是输入还是输出。

公开(公告)号：US06785642B1

公开(公告)日：2004-08-31

申请号：US09692299

申请日：2000-10-19

Applicant: Peter Ballam

Inventor： Peter Ballam

IPC: G06F1750

CPC classification number: G06F17/5022 ,  G06F17/5036

Abstract: A method is described for converting a data set for use with a digital model of a hardware cell into an expanded data set for use with an analog model of the hardware cell. The method including the steps of determining the signal required to drive one or more pins of said analog model by analyzing whether the signals used in said digital model are in a first category or a second category, said first category containing relatively simple signals and said second category containing relatively complex signals, and providing the signal required for the one or more pins in the analog model in dependence on said analysis.

Abstract translation: 描述了一种用于将用于硬件单元的数字模型的数据集转换成与硬件单元的模拟模型一起使用的扩展数据集的方法。 该方法包括以下步骤：通过分析在所述数字模型中使用的信号是否处于第一类别或第二类别来确定驱动所述模拟模型的一个或多个引脚所需的信号，所述第一类别包含相对简单的信号，并且所述第二类别 类别包含相对复杂的信号，并且根据所述分析提供模拟模型中的一个或多个引脚所需的信号。

公开(公告)号：US06912494B1

公开(公告)日：2005-06-28

申请号：US09692292

申请日：2000-10-19

Applicant: Peter Ballam

Inventor： Peter Ballam

IPC: G06F17/50 ,  G06G7/62

CPC classification number: G06F17/5036

Abstract: A method is described for reducing delays in an analogue simulation model of a hardware circuit. The method includes the steps of stimulating via an input an output of said analog model, said output and said input having a relatively high resistance therebetween and applying a pulse to a relatively low resistance, whereby when said pulse is applied to the relatively low resistance, the input is connected to said output via the relatively low resistance so that the time constant of the circuit is reduced.

Abstract translation: 描述了一种用于减少硬件电路的模拟仿真模型中的延迟的方法。 该方法包括以下步骤：通过输入激励所述模拟模型的输出，所述输出和所述输入之间具有相对高的电阻，并将脉冲施加到相对较低的电阻，由此当所述脉冲施加到相对较低的电阻时， 输入端通过相对较低的电阻连接到所述输出端，从而减小了电路的时间常数。

公开(公告)号：US06560757B1

公开(公告)日：2003-05-06

申请号：US09692296

申请日：2000-10-19

Applicant: Peter Ballam

Inventor： Peter Ballam

IPC: G06F1750

CPC classification number: G06F17/5036

Abstract: A method is described for verifying the output from an analogue simulation model of a hardware circuit. The method includes the steps of stimulating the analog model by applying a preselected voltage to an input pin of the analog model, driving one or more selected output pins of the analog model with a test voltage having a selected drive strength different from an expected output drive strength, measuring the output voltage of each output pin, comparing the measured output voltage and the expected output voltage and responsive to said comparison, providing a verifying output if the measured and expected voltages are not in contradiction.

Abstract translation: 描述了一种用于验证来自硬件电路的模拟仿真模型的输出的方法。 该方法包括以下步骤：通过将预选电压施加到模拟模型的输入引脚来激励模拟模型，用具有与预期输出驱动器不同的选定驱动强度的测试电压驱动模拟模型的一个或多个选定输出引脚 测量每个输出引脚的输出电压，比较测量的输出电压和预期输出电压，并根据所述比较，提供一个验证输出，如果测量的和预期的电压不是矛盾的。