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

Yufeng Li Yiwei Ci Qiusong Yang

Published in: ASPDAC (2024)

Keyphrases

model checking
database

data mining
information retrieval

high speed
cost effective

desirable properties
single chip