Inquiry About McVerSi and Its Integration with gem5 and Coverage Collection #2
Description
Dear Authors,
Sorry to bother you here. I am an enthusiast of memory consistency model verification and have been deeply inspired by your HPCA’16 work “McVerSi: A Test Generation Framework for Fast Memory Consistency Verification in Simulation.” I find this work highly creative and impactful, and I have been attempting to reproduce it.
However, while exploring your open-sourced mc2lib, I was unable to locate the components responsible for its interaction with gem5, the coverage collection, and the genetic algorithm invocation logic. I would like to kindly ask whether you could share this part of the code, or perhaps provide some guidance on how these modules were implemented or integrated.
I sincerely apologize for any disturbance and would be deeply grateful for any insight or materials you could share.
Thank you very much for your time and consideration.
Best regards,