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