Design of a Three-Level Cross-Verification Coverage Model for Complex IP Verification.
Mingyuan MaJinxue SuiXia ZhangPublished in: EITCE (2023)
Keyphrases
- conceptual framework
- computational model
- high level
- theoretical framework
- theoretical analysis
- case study
- verification method
- conceptual model
- statistical model
- probabilistic model
- similarity measure
- probability distribution
- mathematical model
- objective function
- neural network model
- data sets
- functional verification