发明申请
US20070220338A1 Method and system for generating checkpoints of hardware description language simulations that include a specific model state together with a software testcase state
审中-公开
用于生成硬件描述语言模拟的检查点的方法和系统,其包括具体的模型状态以及软件测试用例状态
- 专利标题: Method and system for generating checkpoints of hardware description language simulations that include a specific model state together with a software testcase state
- 专利标题(中): 用于生成硬件描述语言模拟的检查点的方法和系统,其包括具体的模型状态以及软件测试用例状态
-
申请号: US11351233申请日: 2006-02-09
-
公开(公告)号: US20070220338A1公开(公告)日: 2007-09-20
- 发明人: Parag Birmiwal , Tilman Gloekler , Srinivas Polisetty , Karl Uhl
- 申请人: Parag Birmiwal , Tilman Gloekler , Srinivas Polisetty , Karl Uhl
- 申请人地址: US NY ARMONK
- 专利权人: INTERNATIONAL BUSINESS MACHINES CORPORATION
- 当前专利权人: INTERNATIONAL BUSINESS MACHINES CORPORATION
- 当前专利权人地址: US NY ARMONK
- 主分类号: G06F11/00
- IPC分类号: G06F11/00
摘要:
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.