RTL property abstraction for TLM assertion-based verification