Control logic works, according to testbench