张义清
- 作品数：7 被引量：6H指数：1
- 供职机构：南通工学院更多>>
- 发文基金：江苏省自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术理学金属学及工艺电子电信更多>>
- 基于可观测性无关项的快速逻辑优化实现策略
- 2003年
- 在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化。同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化。
- 管致锦张义清邱建林
- 关键词：VLSI超大规模集成电路逻辑综合
- 适于大数目输入变量的逻辑综合启发式算法被引量：1
- 2004年
- 本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输入变量问题的测试。实验证明该方法是有效的 ,特别对大数目输入变量的函数 ,具有较好的综合效果。
- 管致锦张义清
- 关键词：逻辑综合启发式算法文字自顶向下
- 数据的逻辑综合分析及决策算法被引量：1
- 2004年
- 文章给出了逻辑综合分析的基本理论和决策算法。并利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据,对算法加以验证。实验结果表明决策算法的精确度可以达到97.2%。
- 管致锦张义清徐慧
- 关键词：逻辑综合
- 大变量逻辑函数最佳覆盖问题研究被引量：4
- 2003年
- 逻辑函数的最佳覆盖 ,一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖 ,对复杂的逻辑综合更为重要 ,但也更加困难。本文在对逻辑覆盖算法研究的基础上 ,提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明 ,改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。
- 管致锦张义清邱建林王波
- 关键词：逻辑函数逻辑综合
- 基于阈门网络的逻辑综合问题研究被引量：1
- 2004年
- 我们在对阈门网络进行研究的基础上,给出了二级逻辑电路最小化技术应用的一个二级阈门网络综合算法-TLLS。算法通过了Benchmark二级逻辑函数例题的测试。当算法只限定到典型的逻辑门电路时,获得比较好的最小化效果。
- 管致锦张义清顾晖邱建林
- 关键词：逻辑电路逻辑综合
- 巨大变量组合逻辑设计优化软件的研究与设计被引量：1
- 2004年
- 采用不同优化算法和机器处理方法来缓解机器资源对巨大变量组合逻辑综合问题的限制,介绍了软件系统设计的技术途径。以此形成的巨大变量逻辑优化软件,其输入、输出变量之和达到300。该软件通过了组合逻辑电路的benchmark例题测试。其优化效果的平均输入输出之比为0.652。
- 管致锦张义清邱建林刘维富
- 关键词：逻辑优化
- 多态系统数据分析的逻辑决策算法
- 2004年
- 在对逻辑分析数据的相关理论进行分析的基础上 ,给出了多态系统数据分析的逻辑决策算法。该算法适于多领域的判断和预测。利用逻辑综合中逻辑单元的随机覆盖问题产生的随机数据对算法加以验证 ,得到了较好的预测效果。
- 顾晖管致锦张义清
