王海霞
- 作品数：10 被引量：39H指数：3
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 整数乘法电路的形式化验证方法研究被引量：6
- 2005年
- 采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸,解决该问题的一种有效途径是采用反向替换方法.函数替换算法是反向替换方法的核心算法,如果保证被替换变量位于被替换函数的决策图顶层,替换算法可以简化.通过设置变量序和限定变量替换顺序,提出了一种保证被替换变量始终位于被替换函数决策图的顶层的反向替换方法,可极大降低整数乘法器验证的运行时间和内存使用量.实验结果表明,采用改进的反向替换方法,在1GB内存下,可将Add-Step乘法器的验证规模从84×84位提高到256×256位,将Diagonal乘法器的验证规模从84×84位提高到206×206位.
- 王海霞韩承德
- 关键词：决策图
- 提高半规模双精度浮点乘法流水线效率的部件
- 一种提高半规模双精度浮点乘法流水线效率的部件，其特征在于包括：两个53位×27位的乘法树电路，高位乘法树用于实现浮点乘法高27位的运算，低位乘法树用于实现低26位运算；上述高位乘法树的结果输入到第一加法器中；低位乘法树的...
- 周旭唐志敏王海霞
- 文献传递
- 不必计算指数差而直接对阶的高速浮点加减部件
- 一种不必计算指数差而直接对阶的高速浮点加减部件，包括：两个移位器，用于移位尾数，每个移位器的输入包括两个参与运算的浮点数的指数以及其中一个尾数；指数大小比较逻辑，用于生成移位结果选择信号，输入为两个指数；两个选通器，用于...
- 王海霞唐志敏周旭
- 文献传递
- 运算电路的形式化验证方法研究
- 运算电路模块是当代微处理器的关键组件.微处理器电路设计的验证工作必须确保运算电路模块设计的正确性.当电路复杂度达到一定规模后,传统的仿真验证方法已无法覆盖整个状态空间,从而无法保证像微处理器运算电路这类复杂设计的正确性....
- 王海霞
- 关键词：形式化方法运算电路决策图可满足性判定
- 文献传递
- 一种网上数据交换的新技术-XML的分析和实现被引量：29
- 2002年
- 随着网络技术的发展,应用的体系结构从二层体系结构发展到三层体系结构,而且应用间通过网络交换数据日益频繁。该文提出了利用XML技术实现三层应用体系结构的中间层的网上数据交换模型,详细分析了实现过程中的关键问题。然后给出了使用它改造劳动力信息系统的实例。最后对采用该模型的优缺点作了进一步分析。它实现简单,可扩展性好,并且易于集成各种遗留系统。
- 谢用辉张宝行柳勇王海霞
- 关键词：INTERNETXML
- GODSON CPU设计与验证系统
- 唐志敏胡伟武张志敏王剑许彤赵继业范宝峡郑保建钟石强王海霞周旭王海洋冯雷刘华平葛亮张福新王卓昊李祖松范东睿李晓维李华伟刘国华吴少刚胡明昌
- 该项目研制出我国第一个高性能通用CPU Godson，在通用CPU设计技术方面达到国内领先水平，在动态流水线的具体实现技术和CPU硬件对系统安全性的支持方面，有重要创新，达到了国际先进水平。 Godson CPU含600...
- 关键词：
- 关键词：CPU
- 提高半规模双精度浮点乘法流水线效率的结构
- 一种提高半规模双精度浮点乘法流水线效率结构，包括：两个53×27的乘法树；每一乘法树对应一加法器；舍入和规格化电路。本发明改进了浮点乘法流水线，在这样的浮点乘法流水线中采用双路浮点乘法流水线机构，使得浮点乘法部件每拍都能...
- 周旭唐志敏王海霞
- 文献传递
- 不必计算指数差而直接对阶的高速浮点加减部件
- 一种不必计算指数差而直接对阶的高速浮点加减部件，包括：两个移位器，用于移位尾数；指数大小比较逻辑，用于生成移位结果选择信号；两个选通器，用于输出移位后的结果。本发明不仅适用于单通路的体系结构，也适用于双通路体系结构，在双...
- 王海霞唐志敏周旭
- 文献传递
- 高性能通用CPU芯片研制龙芯1号
- 唐志敏胡伟武张志敏李晓维陈岚王剑许彤黄令仪李华伟赵继业范宝峡郑保建钟石强张福新安虹周旭王海霞李祖松范东睿郑为民程晓东梅张雄张同新李文张珩王海洋冯雷刘华平葛亮王林楠左红军蒋见花陈守顺杨旭高翔刘国华王卓昊蒋敬旗
- 龙芯1号通用CPU芯片是在中国科学院知识创新工程方向性项目“高性能通用CPU芯片研制”和“十五”863计划重点课题“高性能通用CPU芯片设计”支持下，完成的阶段性成果。该项目主要研究通用微处理器（CPU）芯片的设计技术。...
- 关键词：
- 关键词：高性能通用CPU芯片龙芯1号
- 一种高速浮点加法器的设计
- 在浮点加减算法中,由于引入了LOP(Leading One Prediction),舍入算法(rounding algorithm)等一些延迟优化技术使得速度越来越快.尤其是S.F.Oberman提出的有多种延迟的浮点加...
- 王海霞
- 文献传递
