【作者】 吴陈； 房靖；
【机构】 华东船舶工业学院计算机系； 华东船舶工业学院计算机系；
【摘要】 本文应用泛系方法论中泛权网络聚类的思想对数字电路逻辑设计中的状态化简方法进行形式化,得到了状态化简的一组形式化描述,推广了不完全状态化简的一些结论,得到了几个有意义的判定定理。更多还原
