Login / Signup
CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper).
Shizhen Yu
Yifan Dong
Jiuyang Liu
Yong Li
Zhilin Wu
David N. Jansen
Lijun Zhang
Published in:
SEFM (2022)
Keyphrases
</>
formal verification
program slicing
model checking
automated verification
model checker
bounded model checking
symbolic model checking
open source
spatially variant
artificial intelligence
source code
minimum variance