李亮
- 作品数：3 被引量：0H指数：0
- 供职机构：复旦大学信息科学与工程学院专用集成电路与系统国家重点实验室更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 一种新颖的基于层划分的等价验证方法
- 2004年
- 提出了一种基于SAT问题的组合电路等价验证算法,该算法特别适用于验证有着一定相似部分的两个电路。其主要创新之处为:1)基于层划分的配对点生成方法;2)基于阈值控制的回溯过程。ISCAS'85的实例很好地证明了该算法的有效性。
- 李亮唐璞山张忠林
- 关键词：组合电路
- VLSI中形式化的组合电路等价验证方法
- 随着集成电路技术的飞速发展,电路的规模也不断增大.电路验证领域正面临前所未有的挑战,如何快速并且完备地完成超大规模集成电路的等价验证,已经成为当前的研究热点.与传统的基于模拟的验证方法相比,形式化的验证方法具有完备性的优...
- 李亮
- 文献传递网络资源链接
- 抗差分功耗分析攻击的AES SubByte模块全定制VLSI设计
- 2009年
- 基于灵敏放大器逻辑,采用全定制的方法,设计实现一种AES密码算法的SubByte模块.本文的设计能够实现电路的功耗与运算数据及操作顺序的无关性,从而能够有效地防止差分功耗分析攻击.本设计采用SMIC0.18um CMOS工艺,电路工作频率达到83.3MHz,其版图面积约为0.85mm2.因此,本设计可以广泛应用于高度安全性的对称加密运算设备.
- 李亮韩军曾晓洋赵佳陈淑玉
- 关键词：全定制差分功耗分析
