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

Laurence Pierre Martial 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