Hardware/Software co-verification using Specman and SystemC with TLM ports