dfa design