-
公开(公告)号:GB2512888A
公开(公告)日:2014-10-15
申请号:GB201306497
申请日:2013-04-10
Applicant: IBM
Inventor: RUF JUERGEN , GREINER CARSTEN , KOCH GERRIT , WERNER KEN
Abstract: 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.