Login / Signup
Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification.
Hossein Rostami
Mostafa Hosseini
Ali Azarpeyvand
Mohammad Reza Heidari Iman
Tara Ghasempouri
Published in:
IOLTS (2024)
Keyphrases
</>
functional verification
semi automatic
real world
data driven
model checking
real time
learning algorithm
search engine
website
wide range
hidden markov models
high precision
fully automatic
human brain
functional analysis