Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Mohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri. An automated method for mining high-quality assertion sets. Microprocessors and Microsystems, 97:104773, March 2023. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A Methodology for Automated Mining of Compact and Accurate Assertion SetsMohammad Reza Heidari Iman, Jaan Raik, Maksim Jenihhin, Gert Jervan, Tara Ghasempouri. norcas 2021: 1-7 [doi] RTL Assertion Mining with Automated RTL-to-TLM AbstractionTara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik. fdl 2019: 1-8 [doi]
The following publications are possibly variants of this publication: