RTL property abstraction for TLM assertion-based verification. - Nicola Bombieri; Riccardo Filippozzi; Graziano Pravadelli; Francesco Stefanni (DATE, 2015)