状态机没有冗余状态时，可以不写default状态。

错误。状态机即使没有冗余状态，仍然建议编写default状态。原因如下：1. 在实际硬件电路中，由于亚稳态、单粒子翻转或代码综合错误等原因，状态机可能会进入未定义的状态。2. default状态可以捕获这些非法状态，并引导状态机回到安全、已知的状态，避免系统死锁或误动作。3. 没有default状态时，综合工具可能会对未列出的状态进行随机赋值或保持，导致行为不可预测。4. 编码风格要求状态机具有完备性，即每个可能的状态都应被处理，default并非仅用于冗余状态，而是用于保证状态机的健壮性。因此，即使设计时认为所有状态都已覆盖，也应当添加default状态作为安全兜底。