Add DFA generation for a6p3.