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

Mehran Goli Rolf Drechsler

Published in: CoRR (2022)

Keyphrases

language learning
computer assisted language learning
statistically significant
data sets
formal verification
artificial intelligence
databases
learning environment
petri net
model checking
signature verification
concurrent systems