Design of concurrent checking FSM by independent sub-circuits