江苏省自然科学基金(BK2001130)
- 作品数：23 被引量：21H指数：3
- 相关作者：邱建林管致锦王波刘维富顾晖更多>>
- 相关机构：南通工学院南通大学南京航空航天大学更多>>
- 发文基金：江苏省自然科学基金江苏省高校自然科学研究项目南通市应用研究计划项目更多>>
- 相关领域：自动化与计算机技术电子电信理学金属学及工艺更多>>
- 对逻辑函数3种求补算法的分析被引量：3
- 2005年
- 对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。
- 邱建林王波管致锦刘维富
- 关键词：逻辑函数补集
- 基于粗糙集的组合逻辑优化算法被引量：6
- 2007年
- 运用粗集理论对逻辑函数进行知识表达的方法,提出了基于粗糙集的组合逻辑优化方法,并给出了相应的算法.通过对20变量以下的组合逻辑标准Benchmark-89,91和93相容逻辑矩阵例题进行了检验,结果表明此算法是正确的,并具有显著的化简效果.
- 张义清管致锦吕彦明
- 关键词：粗糙集组合逻辑
- 用二值逻辑对多值逻辑进行优化被引量：1
- 2004年
- 提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为30 0 )来实现 。
- 邱建林王波管致锦刘维富顾晖
- 关键词：二值逻辑多值函数优化算法
- 基于可观测性无关项的快速逻辑优化实现策略
- 2003年
- 在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化。同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化。
- 管致锦张义清邱建林
- 关键词：VLSI超大规模集成电路逻辑综合
- 多输入多输出单边逻辑函数优化系统的设计研究被引量：3
- 2006年
- 逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。
- 邱建林王波刘维富
- 关键词：多输入多输出单边逻辑函数逻辑优化
- 单边多输出逻辑函数补集软件的设计与实现
- 2007年
- 根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵和状态矢量来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz,512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。
- 邱建林王波顾翔刘维富
- 关键词：多输入多输出单边逻辑函数补集特征矩阵
- 适于大数目输入变量的逻辑综合启发式算法被引量：1
- 2004年
- 本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输入变量问题的测试。实验证明该方法是有效的 ,特别对大数目输入变量的函数 ,具有较好的综合效果。
- 管致锦张义清
- 关键词：逻辑综合启发式算法文字自顶向下
- 大变量多输出逻辑函数实质项识别算法被引量：1
- 2007年
- 在对Espresso算法进行分析改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断,根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项,从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。
- 邱建林王波刘维富
- 关键词：多输入多输出逻辑函数
- 逻辑函数求补算法及其改进被引量：4
- 2004年
- 逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。
- 邱建林王波管致锦刘维富顾晖
- 关键词：逻辑函数
- 数据的逻辑综合分析及决策算法被引量：1
- 2004年
- 文章给出了逻辑综合分析的基本理论和决策算法。并利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据,对算法加以验证。实验结果表明决策算法的精确度可以达到97.2%。
- 管致锦张义清徐慧
- 关键词：逻辑综合
