Fortifying analog models with equivalence checking and coverage analysis.

Mark Horowitz Metha Jeeradit Frances Lau Sabrina Liao ByongChan Lim James Mao

Published in: DAC (2010)

Keyphrases

statistical analysis
quantitative analysis
data sets
genetic algorithm
statistical models
probabilistic model
model selection
data analysis
data model
high speed
integrity constraints
autoregressive
consistency checking