The Order Finite State Machine is mew model for electric circuit describe, We can do combinational equivalence checking convenience and quickly by this model.

• 它是一种电路描述的新的模型，通过这种新模型可以对组合电路的等价性检验进行方便、高效的验证。