read_blif_mv daio_receiver.mv init_verify check_invariant -d 1 -i -w var.system -t 5000 daio_receiver.inv quit