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