计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2009年
5期
247-248,257
,共3页
孙志卓%徐凤生%任传成%唐忠莉
孫誌卓%徐鳳生%任傳成%唐忠莉
손지탁%서봉생%임전성%당충리
等价类%状态化简%连通分支%邻接矩阵
等價類%狀態化簡%連通分支%鄰接矩陣
등개류%상태화간%련통분지%린접구진
在完全确定状态的时序电路、状态机等数字系统设计中,确定全部状态等价类,是进行最优状态化简的前提.结合图论理论提出一种等价类集生成算法,首先建立等价类与图中连通分支的联系,然后给出了通过化简图的邻接矩阵而得到等价类集的方法.算法易于编程实现,适合那些状态完全确定的包含几十、上百甚至更多初始状态的大规模数字系统设计.
在完全確定狀態的時序電路、狀態機等數字繫統設計中,確定全部狀態等價類,是進行最優狀態化簡的前提.結閤圖論理論提齣一種等價類集生成算法,首先建立等價類與圖中連通分支的聯繫,然後給齣瞭通過化簡圖的鄰接矩陣而得到等價類集的方法.算法易于編程實現,適閤那些狀態完全確定的包含幾十、上百甚至更多初始狀態的大規模數字繫統設計.
재완전학정상태적시서전로、상태궤등수자계통설계중,학정전부상태등개류,시진행최우상태화간적전제.결합도론이론제출일충등개류집생성산법,수선건립등개류여도중련통분지적련계,연후급출료통과화간도적린접구진이득도등개류집적방법.산법역우편정실현,괄합나사상태완전학정적포함궤십、상백심지경다초시상태적대규모수자계통설계.