周展文
- 作品数：3 被引量：0H指数：0
- 供职机构：中山大学更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 引入局部可操作函数的实例空间安全协议分析法
- 安全协议的验证是网络安全研究中的热点和难点，本文把局部可操作函数引入到实例空间协议分析方法中，简化了协议的描述和分析，增强了实例空间方法的可扩展性，并用新的理论框架分析了JFKi和JFKr协议核心部分的两个安全性质。JF...
- 周展文
- 关键词：安全协议
- 文献传递
- 最优分组周游路线问题建模与双层遗传算法求解
- 最优分组周游路线问题是一类物流智能调度问题,是众多的计算难度极大的组合爆炸问题之一.自从运输问题最早由Hitchcock在1941年提出[2,4]后,人们对这一类问题给予了极大的关注并进行了大量的研究,提出了有效解决问题...
- 凌应标李倩周展文
- 文献传递
- 芯片智能布线方法研究综述
- 2024年
- 布线是芯片设计自动化流程中至关重要且特别耗时的一环,直接影响最终产品的面积、成本、功耗、速度和可靠性,研究智能布线算法对提高芯片布线效率和优化芯片布线效果具有重要意义.芯片布线问题是一个多目标、多约束的NP困难问题.即使已有几十年的研究历史,目前仍存在大量未突破的问题和空间.随着制造工艺的不断发展,布线规则、约束和目标也持续调整和增加,使得布线选择极其困难.因此,对芯片设计自动化中自动布线的前沿研究进行了全面归纳与分析,以帮助科研人员全面了解该领域的研究进展和方向,助力智能布线算法的研究和发展.具体而言,首先阐述芯片布线的问题背景,然后分别介绍全局布线(Global routing,GR)和详细布线(Detailed routing,DR)的任务定义和目标、过程特点、难点和挑战、评估方法;接着详述和分析各布线方法,重点论述基于规划搜索的布线方法和基于机器学习的布线方法的最新研究成果、优缺点及其应用环节;然后介绍公开数据集和开源布线工具;最后总结现有方法在实际应用中存在的局限性,并对自动布线未来的发展趋势和潜在研究方向进行展望.
- 周展文卓汉逵
- 关键词：芯片布线
