1. An unsafe state machine design is always a malfunction.

2. Basically, a safe state machine design costs more logical gates.

3. A safe state machine design must have N states where N = 2**M, and M is a positive integer.

4. A state machine design that is encoded using a binary or gray encoding algorithm is always safe.

5. A state machine design using the one-hot encoding style is always unsafe.

6. You can use any kind of encoding style to create a safe state machine design, provided that you use the "hard-coded" to make sure that all of the states (valid or invalid) are reachable.

7. If a state machine has eight valid states, which state machine encoding styles should be used to create a safe state machine?

8. By using HDL Designer Series tools, you can create a safe state machine design only when you choose "Hard" mode and select a "Recovery State"

9. If a design has five states, when you select 'Hard' 'Auto' mode, how many bits of STATE_TYPE will the tools of HDL Designer Series pick?

10. In the same design as in Question 9, when you select 'Hard' 'Manual' mode, how many bits of STATE_TYPE can you use?