公开(公告)号：US20090216513A1

公开(公告)日：2009-08-27

申请号：US12037956

申请日：2008-02-27

申请人： Dmitry Pidan ,  Sitvanit Ruah

发明人： Dmitry Pidan ,  Sitvanit Ruah

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： A computer-implemented method for verifying a design includes representing a verification directive, which pertains to the design and includes a local variable, by a finite state machine. The state machine includes multiple states, with transitions among the states, transition conditions associated with the transitions, and procedural blocks, which correspond to the transitions and define operations to be performed on the local variable when traversing the respective transitions.The finite state machine is executed by traversing the transitions in accordance with the respective transition conditions and modifying the local variable in accordance with the respective procedural blocks of the traversed transitions, so as to verify the design with respect to the verification directive.

摘要翻译： 用于验证设计的计算机实现的方法包括通过有限状态机来表示与设计有关的验证指令并且包括局部变量。 状态机包括多个状态，状态之间的转换，与转换相关联的转换条件以及对应于转换的过程块，以及当遍历各个转换时定义要对局部变量执行的操作。 有限状态机通过根据各自的转变条件遍历转换来执行，并根据遍历转换的相应过程块修改局部变量，以便验证关于验证指令的设计。

公开(公告)号：US08219376B2

公开(公告)日：2012-07-10

申请号：US12037956

申请日：2008-02-27

申请人： Dmitry Pidan ,  Sitvanit Ruah

发明人： Dmitry Pidan ,  Sitvanit Ruah

IPC分类号： G06F17/50 ,  G06F9/455 ,  G06F11/00 ,  G06F11/22

CPC分类号： G06F17/504

摘要： A computer-implemented method for verifying a design includes representing a verification directive, which pertains to the design and includes a local variable, by a finite state machine. The state machine includes multiple states, with transitions among the states, transition conditions associated with the transitions, and procedural blocks, which correspond to the transitions and define operations to be performed on the local variable when traversing the respective transitions. The finite state machine is executed by traversing the transitions in accordance with the respective transition conditions and modifying the local variable in accordance with the respective procedural blocks of the traversed transitions, so as to verify the design with respect to the verification directive.

摘要翻译： 用于验证设计的计算机实现的方法包括通过有限状态机来表示与设计有关的验证指令并且包括局部变量。 状态机包括多个状态，状态之间的转换，与转换相关联的转换条件以及对应于转换的过程块，以及当遍历各个转换时定义要对局部变量执行的操作。 有限状态机通过根据各自的转变条件遍历转换来执行，并根据遍历转换的相应过程块修改局部变量，以便验证关于验证指令的设计。