公开(公告)号：US08671395B1

公开(公告)日：2014-03-11

申请号：US12879458

申请日：2010-09-10

申请人： Jun Yuan ,  Akok Jain ,  Manpreet Singh Reehal ,  Vinaya Kumar Singh

发明人： Jun Yuan ,  Akok Jain ,  Manpreet Singh Reehal ,  Vinaya Kumar Singh

IPC分类号： G06F9/44 ,  G06F9/455

CPC分类号： G06F17/5009 ,  G06F2217/06

摘要： The present disclosure relates to a method for avoiding deadends in a constrained simulation. The method may include analyzing a first deadend during a simulation and a first constraint of the simulation. The method may further include determining if the first constraint causes the first deadend. If the first constraint causes the first deadend, the method may also include defining a first lookahead constraint corresponding to the first constraint. The method may additionally include rerunning a first previous cycle in the simulation while adding the first lookahead constraint to the simulation.

摘要翻译： 本公开涉及一种用于在受限模拟中避免死角的方法。 该方法可以包括在模拟期间分析第一死区和模拟的第一约束。 所述方法还可以包括确定所述第一约束是否引起所述第一死锁。 如果第一约束导致第一个停止，则该方法还可以包括定义与第一约束相对应的第一前瞻约束。 该方法可以另外包括在模拟中重新运行第一先前循环，同时将第一前视约束添加到模拟中。