Sign in

Automatic generation of functional coverage models from CTL.

Shireesh VermaIan G. HarrisKiran Ramineni
Published in: HLDVT (2007)
Keyphrases
  • real time
  • parametric models
  • case study
  • temporal logic
  • information systems
  • artificial neural networks
  • probabilistic model
  • experimental data
  • autoregressive