RTL Assertion Mining with Automated RTL-to-TLM Abstraction.

Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik

Browse the full FDL paper archive.