摘要
提出一种基于关系矩阵的状态等价类集生成算法,给出了关系矩阵的生成规则,以及通过化简关系矩阵获得状态等价类集的过程,算法特别适用于状态完全确定的包含多个初始状态的大规模数字系统设计.
A relation matrix algorithm for the equivalence classes set is presented. Firstly, the rules to generate the matrix are introduced, and then by reducing the matrix, the procedure to obtain the equivalence classes set is elaborated. The algorithm is especially suitable for the large-scale digital designs that may include lots of initial states.
出处
《微电子学与计算机》
CSCD
北大核心
2008年第4期136-138,共3页
Microelectronics & Computer
关键词
等价类
状态化简
关系矩阵
数字设计
equivalence class
state reduction
relation matrix
digital design
