Where should I specify the path of rtl testbench in order to run the rtl simulation ? And should I just write the name of testbench on the "make verify " command? Can you just give me an example?