C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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