Simulation-based Verification of SystemC-based VPs at the ESL.

Mehran Goli Rolf Drechsler

Published in: MBMV (2022)

Keyphrases

language learning
model checking
computer assisted language learning
statistically significant
formal verification
english language
information retrieval
real time
knowledge base
face recognition
face verification
verification method
college level
functional verification