read_blif_mv counter.mv
init_verify
model_check -d 0 affalse
lang_empty -d 0
model_check -d 0 counter.ctl
time
quit -s