丁鹤然
- 作品数：4 被引量：0H指数：0
- 供职机构：江南计算技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 定制SRAM 单元的ESP 验证
- ESP-CV是Synopsys 开发的一种基于符号模拟技术的形式验证工具，可在定制电路和它的行为级描述之间进行等价性检验，并提供多项验证覆盖率指标来对验证情况进行评估。本文首先介绍了ESP验证的基本原理和工作流程，然后以...
- 田新华丁鹤然
- 文献传递
- 一种53x53-bit无符号乘法器的矩形实现
- 高速乘法器常采用radix-4的Booth编码并用Wallace-tree进行中间结果的相加,但由于其算法的特点,导致在物理实现时很难设计成规则形状;文中提出了一种Wallace-tree的改进方案,从而使得规则形状的乘...
- 陈叶丁鹤然柯希明
- 关键词：CMOS数字集成电路高速乘法器
- 文献传递
- 微处理器多线程技术研究
- 研究目前四种主流的微处理多线程技术,并进行了分析比较,指出多线程技术设计的关键在于资源分配与共享,并进一步提出了混合多线程的思想,然后结合目前多线程技术的应用,展望了多线程技术的未来.
- 何军丁鹤然
- 关键词：多线程技术微处理器
- 文献传递
- 并行编程环境PPCDS的设计与实现
- 2001年
- 介绍了并行程序概念设计系统PPCDS(Parallel Program Conceptually Designing System)的设计和实现方法。该系统支持并行程序概念设计方法,可以有效地减少并行编程的复杂性,提高并行程序的开发效率。
- 黄宇光郑全录丁鹤然
- 关键词：并行编程环境计算机
