Added tb file, changed systemc header inclusion