Enhancing Functional Verification with Dynamic Instruction Generation by Exploiting Processor Runtime States. - Anlin Liu; Tianyao Lu; Yuhao Xi; Yangfan Liu; Peng Liu (ITC, 2024)

Comprehensive RISC- V Floating-Point Verification: Efficient Coverage Models and Constraint-Based Test Generation. - Tianyao Lu; Anlin Liu; Bingjie Xia; Peng Liu (DATE, 2025)