Symbolic optimization of FSM networks based on sequential ATPG techniques