\item FSM coding style is up to each individual. Most code uses the single-process version, using just one single, synchronous process. This reduces the number of signals needed and fully avoids any potential issue with latches due to unassigned signals.