The main point here to note is that verification is being done at 2 stages 1) during/end of design and after fab (where it is called design validation)
Logic Verification: Using software simulation/emulation
Design Validation: Verification using testers.