公开(公告)号：US08935673B1

公开(公告)日：2015-01-13

申请号：US13691155

申请日：2012-11-30

Applicant: Cadence Design Systems, Inc.

Inventor： Yonatan Ashkenazi ,  Nadav Chazan ,  Tal Tabakman ,  Yaron Peri-Glass ,  Ronen Shoham

IPC: G06F11/30 ,  G06F3/00 ,  G06F9/44 ,  G06F11/00 ,  G06F12/14 ,  G06F12/16 ,  G06F11/36

CPC classification number: G06F11/3636 ,  G06F11/3612

Abstract: A system and method are provided for enhanced navigation along execution time and code space in a debugger to assist a user in remediating errors, streamlining, or reverse engineering a computer program and the source code thereof. Snapshots of system states are recorded, a causality tree of commands is constructed through execution of the program to be debugged, and an intelligent display of system states captured during runtime and indexed or cross-referenced by time are displayed to the user in an intelligent manner to aid the user with certain debugging tasks. Additionally, further features in assisting the user to locate a root cause of an error or unexpected value and remediate that cause are also provided.

Abstract translation: 提供了一种系统和方法，用于沿调试器中的执行时间和代码空间增强导航，以帮助用户纠正错误，简化或逆向工程计算机程序及其源代码。 记录系统状态的快照，通过执行要调试的程序构建命令的因果树，并且以智能方式向用户显示在运行时捕获的系统状态并按时间索引或交叉引用的智能显示 以帮助用户进行某些调试任务。 此外，还提供了辅助用户定位错误或意外价值的根本原因并修复该原因的其他特征。

公开(公告)号：US09928328B1

公开(公告)日：2018-03-27

申请号：US15164514

申请日：2016-05-25

Applicant: CADENCE DESIGN SYSTEMS, INC.

Inventor： Ynon Cohen ,  Tal Tabakman ,  Yonatan Ashkenazi ,  Chung-Wah Norris IP ,  Nadav Chazan ,  Gavriel Leshem

IPC: G06F17/50

CPC classification number: G06F17/5045 ,  G06F17/505

Abstract: A method for automated debugging of a design under test (DUT), including using a processor, (a) identifying a value of a signal at a specific time instance in which a user has indicated interest; (b) performing driver tracing based on structural analysis and signal analysis to determine one or a plurality of drivers of the identified value in the signal; (c) if the driver tracing returns a single driver of said one or a plurality of drivers, presenting the returned single driver to the user via an output device; and (d) if the driver tracing returns a plurality of drivers of said one or a plurality of drivers, performing formal analysis on a compiled sub-structure of the DUT to which all of said returned plurality of drivers are related to determine a single driver from said returned plurality of drivers, and presenting the determined single driver from said returned plurality of drivers to the user via the output device.

公开(公告)号：US09632912B1

公开(公告)日：2017-04-25

申请号：US14228325

申请日：2014-03-28

Applicant: Cadence Design Systems, Inc.

Inventor： Nadav Chazan ,  Yonatan Ashkenazi

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3636 ,  G06F11/3688

Abstract: A system and method of debugging a program may include obtaining a selection of a portion of the program which is between trackable inputs and outputs. The method may also include simulating an execution on the portion of the program, by providing input data via the inputs that was input through said inputs during a recorded execution of the program. The method may further include presenting information relating to the simulated execution on an output device.

公开(公告)号：US20140282414A1

公开(公告)日：2014-09-18

申请号：US13804183

申请日：2013-03-14

Applicant: CADENCE DESIGN SYSTEMS, INC.

Inventor： Nadav Chazan ,  Tal Tabakman ,  Yonatan Ashkenazi

IPC: G06F11/36

CPC classification number: G06F11/3664

Abstract: A computer implemented method for debugging of a program may include parsing a code segment of the program, the code segment invoking one or a plurality of execution events during an execution of the program to derive a plurality of questions, each relating to an execution event of said one or a plurality of execution events, based on the parsing of the code segment and on information recorded during the execution of the program. The method may also include selecting one of the questions as a current question. The method may further include presenting in a user interface the current question with one or a plurality of causes related to the current question, and one or a plurality of other questions of said one or a plurality of questions for selection by the user.

Abstract translation: 用于调试程序的计算机实现方法可以包括解析程序的代码段，代码段在执行程序期间调用一个或多个执行事件以导出多个问题，每个问题涉及执行事件 所述一个或多个执行事件基于代码段的解析以及在执行程序期间记录的信息。 该方法还可以包括选择问题之一作为当前问题。 该方法可以进一步包括在用户界面中呈现与当前问题相关的一个或多个原因的当前问题，以及用户选择的所述一个或多个问题中的一个或多个其他问题。

公开(公告)号：US10546080B1

公开(公告)日：2020-01-28

申请号：US16233590

申请日：2018-12-27

Applicant: Cadence Design Systems, Inc.

Inventor： Yonatan Ashkenazi ,  Nir Hadaya ,  Tal Tabakman ,  Nadav Chazan ,  Yotam Gil

IPC: G06F17/50 ,  G06N20/00 ,  G06F11/26

Abstract: A method for identifying a potential cause of a failure in simulation runs on a design under test (DUT) using machine learning is disclosed.

公开(公告)号：US10261887B1

公开(公告)日：2019-04-16

申请号：US15497255

申请日：2017-04-26

Applicant: Cadence Design Systems, Inc.

Inventor： Yonatan Ashkenazi ,  Nadav Chazan ,  Maayan Ziv

IPC: G06F11/00 ,  G06F11/36

Abstract: A method for assertion debugging may include identifying in signals relating to an execution run of a code a segment of time for which an assertion has failed. The method may also include searching in the signals relating to that execution run, or in signals relating to another execution run of that code, to find one or a plurality of segments of time in which the signals are similar to the signals in the identified segment, for which the assertion was successful.

公开(公告)号：US09244814B1

公开(公告)日：2016-01-26

申请号：US13926212

申请日：2013-06-25

Applicant: Cadence Design Systems, Inc.

Inventor： Nadav Chazan ,  Noam Garber ,  Roman (Reuven) Shenkar ,  Tal Tabakman ,  Kalev Alpernas

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3664 ,  G06F11/3692

Abstract: A computer implemented method of debugging with enriched message log capability may include, for each instance during an execution of a program to be debugged in which a message is issued, automatically analyzing the program code included in a scope of the program relating to the message to identify one or a plurality of variables. The method may also include saving on a non-transitory computer readable storage medium a value at that instance of each of said one or a plurality of variables. The method may further include causing a message log that includes the message to be presented on a display device, associating the value of each said one or a plurality of variables with the message.

Abstract translation: 具有丰富的消息日志功能的计算机实现的调试方法可以包括：在执行待调试的程序的每个实例期间，在其中发出消息的过程中，可以自动分析包括在与消息有关的程序的范围内的程序代码 识别一个或多个变量。 该方法还可以包括在非瞬时计算机可读存储介质上保存在所述一个或多个变量中的每一个的那个情况下的值。 该方法可以进一步包括使消息日志包括要在显示设备上呈现的消息，将每个所述一个或多个变量的值与消息相关联。