Because the state traversal can be done in a reduced space with respect to a selected set of explicitreset registers, the state explosion problem can be much alleviated.

• 因为在挑选了外部硬体重置的暂存器后，可使得初始化分析所需的记忆体空间降低，因此而减轻了状态转换数剧增的问题。