Login / Signup

Assertion-Based Verification for SoC Models and Identification of Key Events.

Laurence PierreMartial Chabot
Published in: DSD (2017)
Keyphrases
  • probabilistic model
  • statistical models
  • experimental data
  • database
  • neural network
  • website
  • prior knowledge
  • machine learning algorithms
  • embedded systems
  • formal verification
  • accurate models