ChiselFV: A Formal Verification Framework for Chisel.

Mufan Xiang Yongjian Li Yongxin Zhao

Published in: DATE (2023)

Keyphrases

formal verification
main contribution
model checking
theoretical framework
real time
data sets
artificial intelligence
case study
probabilistic model
model checker