国家高技术研究发展计划(2002AA141041) 作品数:9 被引量:19 H指数:2 相关作者: 段成华 苏桂平 范玉涛 蒋晓娜 柳美莲 更多>> 相关机构: 中国科学院研究生院 中国科学院电子学研究所 华北科技学院 更多>> 发文基金: 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
超深亚微米工艺下模拟IC仿真的MOSFET模型 被引量:2 2006年 对MOSFET器件特性、MOSFET建模方法和建模发展历程进行了回顾,分析了在模拟集成电路低功耗设计中比较流行的模型(BSIM3和EKV模型),对它们进行了比较,分析其各自的优点和缺点。结果表明获得能够精确地预测高性能模拟系统的模型是很困难的,而EKV模型在模拟集成电路的低功耗设计中具有一定的优势。 段成华 柳美莲关键词:模拟IC BSIM3模型 短沟道效应 运算精简的蒙哥马利算法模乘器设计 被引量:2 2008年 针对Montgomery算法的可伸缩脉动阵列模乘协处理器的硬件实现中,速度和面积没有取得很好平衡的问题,结合Walter等学者对Montgomery算法的分析,利用EDA仿真分析工具,提出一种运算精简的蒙哥马利算法模乘器设计方法。该方法通过先分析已有Montgomery算法,得到运算精简蒙哥马利算法,然后将该算法映射到可伸缩脉动阵列结构,使模乘器在速度和面积上能够取得很好的平衡。最后进行仿真实验验证,结果证明该方法解决了模乘器速度和面积平衡的问题。通过该方法设计的模乘器,用TSMC0.18μm标准单元库综合,核心运算单元最高时钟频率可达385MHz,等效单元1.2k等效门。与现有其他方法相比,该模乘器在平衡方面取得较好性能,可以拓展其在移动通信领域的应用。 蒋晓娜 段成华关键词:蒙哥马利算法 公钥密码体制 系统级硬件描述语言SpecC词法分析器设计与实现 2008年 随着硬件系统复杂性的提高,在更高的抽象层次——系统级进行软硬件协同设计成为一种趋势。SpecC语言是一种用来在系统级对硬件系统进行描述的系统级硬件描述语言。SpecC词法分析器作为SpecC综合器的基础模块,其性能是影响SpecC综合器性能的关键因素之一,而SpecC综合器是实现系统级设计综合自动化必不可少的硬件系统开发工具。本文在Linux环境下用C设计并实现了SpecC语言的一个词法分析器SpecC_Lexer。它能正确地对用户输入的SpecC源代码进行预处理和词法分析,并在源代码中出现词法错误时给用户反馈错误信息。 范逸雪 段成华关键词:词法分析器 综合器 CSSA—低功耗Montgomery模乘的环形脉动阵列 被引量:1 2005年 文章提出了一种环形脉动阵列CSSA(Circular Structured Systolic Array),用于实现Montgomery模乘算法MMM(Montgomery Modular Multiplication)。该阵列采用循环结构,迭代计算。仿真结果表明,与基于一维脉动阵列的MMM硬件实现相比,该结构牺牲了运算时间,但是降低了功耗和芯片面积(本文实现的两个例子,功耗和芯片面积均减少了约97%)。并且,处理单元的数量可配置,以平衡速度和功耗。 陈强 段成华关键词:MONTGOMERY模乘 公钥密码体制 一种双向一次性口令身份认证方案的设计 被引量:8 2008年 提出了一种基于单向散列函数的双向一次性口令身份认证方案(OTPAP),该方案克服了通常的一次性口令方案的弱点,可以用在网络环境下,实现通信双方的互相认证,防止重放攻击和冒充攻击。方案实现简单,执行效率高,可用于电子商务过程中的身份认证,以增强应用系统的安全性。 范玉涛 苏桂平关键词:电子商务 散列函数 一次性口令 身份认证 基于整数小波变换的图像盲数字水印算法 被引量:1 2008年 为了提高基于小波变换的图像数字水印算法抵御缩放等攻击的能力,提出了一种基于整数小波变换的图像盲数字水印算法。采用的整数小波变换利用了小波的多分辨分析特性能有效地匹配人类视觉系统模型的特点,更好地兼顾了水印透明性与鲁棒性之间的矛盾;算法中将嵌入的水印作为二值图像进行处理和隐藏,增强了水印所含信息的丰富性和直观性;多个水印副本的嵌入提高了图像抵御攻击的能力;数学形态学中的腐蚀与膨胀运算的运用提高了提取出水印的可辨识度。经过实验证明该算法具有较好的鲁棒性及实用性。 范玉涛 苏桂平关键词:整数小波变换 盲数字水印 形态学 鲁棒性 透明性 行为综合功能流水线中的资源约束LB-ACO算法 被引量:1 2009年 针对行为综合功能流水线中带资源约束的调度问题,提出了一种新的功能流水线调度算法负载平衡蚁群调度算法(load-balanced ant colony scheduling,LB-ACO)。该算法将蚁群算法和力向算法的受力公式相结合,在保证较低运行时间复杂度O(cn2)的前提下,可获得近似最优的流水线调度结果。通过确定蚁群算法的局部试探因子和全局试探因子的计算方法,描述了该算法的实现步骤。通过仿真实验证明了该算法的流水线调度性能。 宋德强 段成华 黄庆明关键词:流水线调度 蚁群算法 资源约束 基于Leon2的安全应用配置方案及验证 2008年 安全处理器存在设计耗费资源和设计周期长的问题。针对这些问题,通过应用开放性处理器IP核Leon2的配置方法和ModelSim的仿真功能,提出了快速设计一个支持安全应用的处理器平台的方法。分析了作为安全应用的处理器控制平台的性能要求和Leon2的配置方法,设计了基于安全应用的处理器配置方案,仿真实现了处理器平台的安全应用功能,并通过综合验证了配置方案的可行性。最后结果显示,处理器功能正常,而且运行paranoia程序,验证了处理器数值计算能力。与其他方法相比,该方法具有快速经济的设计流程,且通过修改包程序可配置多种协处理器。 郑欢关键词:安全处理器 片上系统 可配置 仿真 改进的蒙哥马利算法及其模乘法器实现 被引量:4 2008年 模乘运算的速度决定了公钥加密系统和众多通信系统的系统性能。通过分析Walter等学者对蒙哥马利算法的研究成果,得到运算精简基2-MMM算法,实现基于运算精简算法的线性脉动阵列模乘法器。在验证改进算法正确性后,对模乘法器进行功能仿真和综合。用TSMC 0.18μm标准单元库综合,可以工作在200 MHz时钟下,等效单元为42 k门,完成1 024 bit模乘法运算需15 370 ns。 蒋晓娜 段成华