Mealy Requirement .bit