1. A computer implemented method for verifying software, comprising: at least one processor performing a process, the process comprising: identifying object code that was generated from compilation of one or more source code files that are in at least a first programming language, the object code corresponding to a software program to be verified; analyzing the object code to identify program information relevant to verification of the software program by at least extracting debugging information from the object code; and generating a testbench to perform coverage verification for the software program based at least in part upon the program information, wherein the testbench is implemented using a second programming language, the second programming language being different from the first programming language; and an event port that is to trigger an event is defined to correspond to a first variable in the testbench with a second variable in the software program.