Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik. RTL Assertion Mining with Automated RTL-to-TLM Abstraction. In Tom J. Kazmierski, Reinhard von Hanxleden, Terrence S. T. Mak, editors, 2019 Forum for Specification and Design Languages, FDL 2019, Southampton, United Kingdom, September 2-4, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.