Environment for efficient and reusable SystemC module level verification