Sign in

Automatic Constraint Based Test Generation for Behavioral HDL Models.

Siva Kumar Sastry HariVishnu Vardhan Reddy KondaV. KamakotiVivekananda M. VedulaK. S. Maneperambil
Published in: IEEE Trans. Very Large Scale Integr. Syst. (2008)
Keyphrases
  • test generation
  • training data
  • probabilistic model
  • database
  • software engineering