TY  - RPRT
TI  - TIUP: Effective Processor Verification with Tautology-Induced Universal Properties
AU  - Yufeng Li
AU  - Yiwei Ci
AU  - Qiusong Yang
PY  - 2024
DO  - 10.1109/asp-dac58780.2024.10473912.
UR  - https://arxiv.org/abs/2404.17094
ID  - 2404.17094
ER  -