公开(公告)号：US09189743B1

公开(公告)日：2015-11-17

申请号：US13666614

申请日：2012-11-01

Applicant: Cadence Design Systems, Inc.

Inventor： Marat Teplitsky ,  Efrat Gavish ,  Kalev Alpernas

IPC: G06N5/00 ,  G06N5/04

CPC classification number: G06N5/00 ,  G06N5/003 ,  G06N5/048

Abstract: The present disclosure relates to a computer-implemented method for iteratively solving a constraint satisfaction problem. The method may include assigning a value to each of one or more variables associated with the constraint satisfaction problem, each of the one or more variables having a first domain. The method may also include identifying an invalid solution resulting from a first value assigned to a first variable. The method may further include replacing the first value with a second value assigned to the first variable. The method may also include, upon identifying the invalid solution, generating a second domain larger than the first domain.

Abstract translation: 本公开涉及用于迭代地求解约束满足问题的计算机实现的方法。 该方法可以包括将值分配给与约束满足问题相关联的一个或多个变量中的每一个，所述一个或多个变量中的每一个具有第一域。 该方法还可以包括识别由分配给第一变量的第一值产生的无效解。 该方法还可以包括用分配给第一变量的第二值代替第一值。 该方法还可以在识别无效解后生成大于第一域的第二域。

公开(公告)号：US09792402B1

公开(公告)日：2017-10-17

申请号：US14755071

申请日：2015-06-30

Applicant: Cadence Design Systems, Inc.

Inventor： Meir Ovadia ,  Kalev Alpernas

IPC: G06F17/50 ,  G06F11/32

CPC classification number: G06F17/5081 ,  G06F11/322 ,  G06F11/323 ,  G06F17/5022 ,  G06F17/5031 ,  G06F2217/84

Abstract: A method for debugging a system on chip (SoC) under test, the method may include executing a test code on the SoC, the test code designed to invoke a plurality of actions; recording output data from the SoC resulting from the executed test code; linking between actions detected in the recorded output data and actions of the plurality of actions of the test code by identifying a start and an end times of each of the detected actions in the recorded output data, and associating the identified start and end times with a start and an end times of actions of the plurality of actions of the test code; and causing display, via a graphical user interface, of a waveform representation of the detected actions over time, a representation of the test code and a representation of the output log.

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