Yufeng Li, Yiwei Ci, Qiusong Yang. TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. In Proceedings of the 29th Asia and South Pacific Design Automation Conference, ASPDAC 2024, Incheon, Korea, January 22-25, 2024. pages 269-274, IEEE, 2024. [doi]
No reviews for this publication, yet.