Hardware/Software Co-Verification Using Specman and SystemC with TLM Ports