Among the verification tasks of sequential circuits, FSM initialization is one of the most important problems.It ensures that a sequential circuit starts from a correct initial state.

• 摘要:循序电路的验证工作中，初始化是其中的一个重要议题，它确保电路能从正确的初始状态开始运作。