Login / Signup
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