公开(公告)号：US07079997B1

公开(公告)日：2006-07-18

申请号：US10143347

申请日：2002-05-10

申请人： Yu-Chin Hsu ,  Furshing Tsai ,  Yirng-An Chen ,  Kunming Ho ,  Tayung Liu ,  Chieh Changfan ,  Wells Woei-Tzy Jong

发明人： Yu-Chin Hsu ,  Furshing Tsai ,  Yirng-An Chen ,  Kunming Ho ,  Tayung Liu ,  Chieh Changfan ,  Wells Woei-Tzy Jong

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： A debugger produces a display based on instructions executed by a circuit simulator or verification tool and on waveform data produced by the simulator or verification tool when executing the instructions. The instructions include a set of statements, each corresponding to a separate circuit signal generated by a circuit and each including a function defining a value of the circuit signal as a function of values of other circuit signals. The simulator evaluates the statements at various simulation times to compute signal values at those simulation times. The waveform data indicates signal values the simulator computes when evaluating the statements. The debugger display includes a set of statement event symbols, each corresponding to a separate evaluation of a statement and each positioned in the display to indicate a simulation time at which the simulator evaluated the statement. Each statement event symbol references the signal whose value is computed by the corresponding statement evaluation and indicates a value of that signal computed when the statement was evaluated. Each statement event symbol also references the other signals having values of which the statement indicates the computed signal value is a function and indicates those other signals values as of the simulation time at which the statement was evaluated.

摘要翻译： 调试器根据由电路仿真器或验证工具执行的指令以及在执行指令时由仿真器或验证工具产生的波形数据产生显示。 指令包括一组语句，每个语句对应于由电路产生的单独的电路信号，并且每个语句包括定义电路信号的值作为其他电路信号的值的函数的函数。 模拟器在各种模拟时间对语句进行评估，以在这些模拟时间计算信号值。 波形数据表示模拟器在评估语句时计算的信号值。 调试器显示包括一组语句事件符号，每个对应于语句的单独评估，并且每个语句事件符号分别位于显示器中，以指示模拟器评估该语句的模拟时间。 每个语句事件符号引用其值由相应的语句评估计算的信号，并指示在评估语句时计算的该信号的值。 每个语句事件符号还引用具有值的其他信号，其中语句指示计算的信号值是函数，并且指示在评估语句时的模拟时间的那些其他信号值。