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

Yufeng Li Yiwei Ci Qiusong Yang

Published in: CoRR (2024)

Keyphrases

desirable properties
functional verification
social networks
high speed
computationally efficient
data mining
case study
high quality
rough sets
structural properties
signature verification