Test Generation for SystemC designs by interlaced Greybox Fuzzing and Concolic Execution