Combined optimization of area and testability during state assignment of PLA-based FSM's