Verification assistance method in particular for the design of digital circuits

摘要

A verification assistance method is used for reviewing verifica­tion data for a digital circuit design. In order to reduce the time and effort spent on the verification, the verification assistance method stores user operation information (SB4) and recommends a user operation based on said user opera­tion information (SB1). In particular the user operation information relates to a position of a user operation in a previous sequence of user operations and the recommended user operation may correspond to an operation in the previous sequence.