Method and system for generating checkpoints of hardware description language simulations that include a specific model state together with a software testcase state

摘要

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.