TIUP: Effective Processor Verification with Tautology-Induced Universal Properties.

Yufeng Li, Yiwei Ci, Qiusong Yang

Browse the full ASPDAC paper archive.