Failure Triage in RTL Regression Verification.
Zissis PoulosAndreas G. VenerisPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
- regression model
- data sets
- linear regression
- support vector regression
- regression algorithm
- regression analysis
- model checking
- signature verification
- failure rate
- asynchronous circuits
- ridge regression
- formal verification
- locally weighted
- regression problems
- text analysis
- gaussian processes
- polynomial regression
- functional verification
- failure modes
- regression methods
- semi supervised
- knn