SystemC verification tool