《表1 可区分状态矩阵表结构》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于自动机最简化的时序电路等价性验证方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

对于一个时序电路的状态转换图如图2，构造一个可区分状态矩阵表。分别将状态001，011，100用S11，S12，S13来表示，状态表的第一列是按顺序排列的状态并删除第一个状态，相反状态表的最后一行是按顺序排列的状态并去掉最后一个状态。对于任意的状态对（q，p），判断它们是不是可以合并的，即判断他们是不是等价的。本文中（q，p）与（p，q）表示相同的状态对，即（q，p）=（p，q），因此在可区分状态矩阵表中只需要考虑对角线以下的状态对，矩阵中对角线以上的状态用“-”来进行标记，其他的表项用空来标记。图2相对应的可区分状态矩阵表结构如下表1所示：