RTL property abstraction for TLM assertion-based verification.

Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni

Browse the full DATE paper archive.