公开(公告)号：US06634012B2

公开(公告)日：2003-10-14

申请号：US09395873

申请日：1999-09-14

申请人： John Xiaoxiong Zhong ,  Dian Yang ,  Zheng Zhou ,  Ting Wang

发明人： John Xiaoxiong Zhong ,  Dian Yang ,  Zheng Zhou ,  Ting Wang

IPC分类号： G06F945

CPC分类号： G01R31/318357 ,  G01R31/318364 ,  G06F17/5022

摘要： A method and apparatus for performing design verification is described. In one embodiment, a method for performing design verification includes specifying at least one object that represents at least one signal as a symbol in a design using a first command and instructing a symbolic simulator with the first command to treat the at least one object as a symbol.

摘要翻译： 描述用于执行设计验证的方法和装置。 在一个实施例中，用于执行设计验证的方法包括：使用第一命令在设计中指定至少一个表示至少一个信号的对象作为符号，并且用第一命令指示符号模拟器将该至少一个对象视为 符号。

公开(公告)号：US06865525B1

公开(公告)日：2005-03-08

申请号：US09774989

申请日：2001-01-30

申请人： John Xiaoxiong Zhong

发明人： John Xiaoxiong Zhong

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： A method and apparatus for simulating a circuit is described. In one embodiment, the method comprises representing a plurality of identical components in a reduced form as a circuit having a single instance of the identical component with encoding for each input of the single instance to represent corresponding inputs to all of the plurality of identical components and decoding for each output port of the single instance to create output ports for the outputs associated with all of the plurality of identical components and symbolically simulating the reduced form of the circuit with simulation results being the same as results of symbolically simulating the plurality of identical components.

摘要翻译： 描述用于模拟电路的方法和装置。 在一个实施例中，该方法包括以缩小的形式表示多个相同的组件，作为具有相同组件的单个实例的电路，对单个实例的每个输入进行编码，以表示对所有多个相同组件的相应输入， 对单个实例的每个输出端口进行解码，以创建与所有多个相同组件相关联的输出的输出端口，并以仿真结果与模拟结果相似的符号模拟电路的简化形式，与符号模拟多个相同组件的结果相同 。

公开(公告)号：US06938228B1

公开(公告)日：2005-08-30

申请号：US10199539

申请日：2002-07-19

申请人： John Xiaoxiong Zhong

发明人： John Xiaoxiong Zhong

IPC分类号： G01R31/3183 ,  G06F17/50

CPC分类号： G01R31/318357 ,  G06F17/5022

摘要： A method and apparatus for simulating multiple stimuli using symbolic encoding. In one embodiment, the method comprises encoding a plurality of sets of stimulus to create a symbolic stimulus, symbolically simulating a device under test, including applying the symbolic stimulus to the device under test, and outputting a symbolic result from the device under test in response to the symbolic stimulus.

摘要翻译： 一种使用符号编码模拟多个刺激的方法和装置。 在一个实施例中，该方法包括对多组刺激进行编码以产生符号仿真被测设备的符号刺激，包括对被测设备应用符号激励，并响应于被测器件输出符号结果 到符号刺激。