FIXED: scheduling problem in artix gtp, a bug in testbench main.cpp