Login / Signup

The ODYSSEY approach to early simulation-based equivalence checking at ESL level using automatically generated executable transaction-level model.

Maziar GoudarziShaahin HessabiNaser MohammadZadehNasim Zainolabedini
Published in: Microprocess. Microsystems (2008)
Keyphrases
  • automatically generated
  • probabilistic model
  • database
  • high level
  • language learning
  • process model
  • statistical model