公开(公告)号：US20070220338A1

公开(公告)日：2007-09-20

申请号：US11351233

申请日：2006-02-09

申请人： Parag Birmiwal ,  Tilman Gloekler ,  Srinivas Polisetty ,  Karl Uhl

发明人： Parag Birmiwal ,  Tilman Gloekler ,  Srinivas Polisetty ,  Karl Uhl

IPC分类号： G06F11/00

CPC分类号： G06F17/5022 ,  G06F11/3672

摘要： A method for performing verification is disclosed. In response to determining that a log replay module operating in a replay mode has received a command from a testcase that is not equal to a next command in a replay log, a determination is made whether the command is a create relay checkpoint command with a testcase parameter matching a model checkpoint file. In response to determining that the command from the testcase is the create replay checkpoint command with the testcase parameter matching the model checkpoint file, the model checkpoint file is loaded into the simulator, and one or more items of cycle information of the simulator are set to information corresponding to the model checkpoint file.

摘要翻译： 公开了一种用于执行验证的方法。 响应于确定以重放模式操作的日志重放模块已经从重放日志中不等于下一个命令的测试用例接收到命令，确定该命令是否是具有测试用例的创建中继检查点命令 参数匹配模型检查点文件。 响应于确定来自测试用例的命令是创建重放检查点命令，其中testcase参数与模型检查点文件匹配，模型检查点文件被加载到模拟器中，并且模拟器的一个或多个循环信息项被设置为 对应于模型检查点文件的信息。