We are glad that our paper about the formal verification of Chisel programs with SVA-like assertions has been accepted at SEFM’22.