Towards functional verifying a family of systemC TLMs.

Tun Li Jun Ye Qingping Tan

Published in: Frontiers Comput. Sci. (2020)

Keyphrases

model checking
special case
digital libraries
real time
decision making
high level
probabilistic model