Checking in the inverse testbench.