add flush from design; add make_fsm_reg