王波
- 作品数:36 被引量:67H指数:4
- 供职机构:南通大学更多>>
- 发文基金:江苏省自然科学基金江苏省高校自然科学研究项目南通市应用研究计划项目更多>>
- 相关领域:自动化与计算机技术电子电信理学文化科学更多>>
- 多输入多输出单边逻辑函数优化系统的设计研究被引量:3
- 2006年
- 逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。
- 邱建林王波刘维富
- 关键词:多输入多输出单边逻辑函数逻辑优化
- 单边多输出逻辑函数补集软件的设计与实现
- 2007年
- 根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵和状态矢量来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz,512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。
- 邱建林王波顾翔刘维富
- 关键词:多输入多输出单边逻辑函数补集特征矩阵
- 积项集合的补集算法被引量:1
- 2001年
- 在逻辑综合的领域内 ,经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法 ,求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比 。
- 邱建林王波
- 关键词:数字集成电路逻辑综合
- 逻辑综合中单边函数求补算法的设计与实现
- 逻辑函数求补算法是集成电路逻辑综合优化的基础,单边函数求补算法与传统求补算法相比,该算法大大节省了计算机时间和内存空间,本文单边函数求补算法通过形成特性矩阵、状态矢量,并对特性矩阵进行列覆盖选取形成覆盖矩阵,依据覆盖矩阵...
- 邱建林王波
- 关键词:逻辑函数
- 文献传递网络资源链接
- 逻辑函数绝对最小覆盖的改进算法
- 1998年
- 逻辑函数的绝对最小化算法存在的主要问题是运行时间过长和需要的存储空间过大.本文提出了一个从给定本源蕴涵项集合中抽出一个绝对最小覆盖的算法,而时间空间的需求被大大地缩小了.
- 王波
- 关键词:逻辑函数
- 基于编码算法的组合逻辑电路最优化设计软件MININT
- 王波管致锦刘维富顾晖邱建林
- 该课题为自选课题。该课题的应用领域为集成电路设计。逻辑综合是集成电路设计的重要环节,逻辑结构是否最优化,直接影响到集成电路产品的面积、价格、功耗、可靠性和微型化程度,进而影响集成电路设计水平和产业的发展。该课题在理论上建...
- 关键词:
- 关键词:逻辑电路
- 一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现
- 2007年
- 提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵,对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合,形成输入积项扩展后的积项形式.对于二级SOP型的多输入多输出逻辑函数,设计了基于积项扩展的多输入多输出集成电路逻辑优化软件,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000,并通过了Benchmark例题的测试和正确性验证.
- 邱建林陈建平顾翔王波
- 关键词:逻辑优化多输入多输出逻辑函数
- 集成电路中布尔线路图的优化设计
- 2001年
- 二叉决策图(BDDs) 是布尔函数的一个表示方法,最近它被广泛应用于逻辑综合中布尔电路的模拟和测试等领域。在这些应用中,有些基本问题需要解决,其中包括电路图到决策图的转换。文章提出了一个转换的方法并分两步叙述,首先是对无扇出电路的转换,然后是对有扇出电路的转换,最后把两者结合为一个通用算法。
- 王波邱建林管致锦
- 关键词:二叉决策图集成电路布尔函数电路设计
- 多输出逻辑优化软件OPLG
- 综合在集成电路设计中是非常重要的一环。本文对多输出逻辑优化软件OPLG进行了研究。文章围绕OPLG的基本框架、OPLG的蕴涵项扩展算法、OPLG的去冗余算法、软件测试、实验结果等进行了论述。
- 王波邱建林刘维富
- 关键词:集成电路电路设计逻辑综合软件开发
- 单边多输出逻辑函数补集软件的设计与实现
- 根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边...
- 邱建林王波顾翔刘维富
- 关键词:多输入多输出单边逻辑函数补集软件设计
- 文献传递