Selfie5: An Autonomous, Self-Contained Verification Approach for High-Throughput Random Testing of Programmable Processors. - Yehuda Kra; Naama Kra; Adam Teman (DATE, 2024)