Automatic generation of functional coverage models from CTL.

Shireesh Verma Ian G. Harris Kiran Ramineni

Published in: HLDVT (2007)

Keyphrases

real time
parametric models
case study
temporal logic
information systems
artificial neural networks
probabilistic model
experimental data
autoregressive