A Method to Reuse RTL Verification Tests to Validate Cycle Accurate Model.
Manish BaphnaAnchal JainAshish MathurPublished in: ISED (2011)
Keyphrases
- mathematical model
- petri net model
- statistical model
- petri net
- cost function
- high accuracy
- objective function
- theoretical analysis
- modeling method
- network model
- verification method
- classification method
- study proposes
- markov model
- computational model
- prior knowledge
- hybrid method
- high order
- similarity measure
- test data
- sensitivity analysis
- evaluation method
- em algorithm
- probabilistic model
- preprocessing
- high precision
- analytical model
- regression analysis
- parameter estimation
- prior information
- highly accurate
- recognition algorithm
- hybrid model
- gaussian distribution
- input data
- edge detection
- probability distribution
- optimization model
- completely automatic
- learning algorithm
- monte carlo simulation
- statistical methods
- optimization method
- detection method
- computationally efficient
- tree structure
- bayesian framework
- closed form
- kalman filter
- energy function
- segmentation method