An efficient method for RISC-V memory consistency testing based on loop unrolling. - HU, Jintao; XU, Xuezheng; YANG, Deheng; HUANG, Anwen; KOU, Guang; LI, Qiong (Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 2025)