Towards functional verifying a family of SystemC TLMs