A SystemC Library for Advanced TLM Verification