朱丹
- 作品数：13 被引量：16H指数：2
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金长江学者和创新团队发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信军事更多>>
- 微处理器体系结构级功能验证程序自动生成技术研究
- 体系结构级功能验证已成为微处理器设计过程的瓶颈。体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成。本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器...
- 梁磊郭阳李暾朱丹
- 关键词：微处理器伪随机
- 文献传递
- 基于程序切片的电路提取技术被引量：3
- 2003年
- 从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。
- 朱丹李暾万海郭阳李思昆
- 关键词：程序切片
- 基于时序等价性检查的电路软错误系统级可靠性分析方法研究
- 随着集成电路设计与制造工艺的飞速发展,空间辐射和噪声干扰等环境因素引发的软错误严重威胁设计可靠性。为了同时满足性能、功耗、面积以及可靠性等多种设计目标需求,通常只能对电路进行有选择性的软错误保护。软错误可靠性分析是决定有...
- 朱丹
- 文献传递
- RTL验证框架——HRV
- 2004年
- 设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟验证效率 。
- 郭阳李暾李思昆朱丹梁磊
- 关键词：超大规模集成电路寄存器传输级模拟矢量自动生成
- 微处理器体系结构级测试程序自动生成关键技术研究
- 功能验证是微处理器设计的瓶颈。体系结构级功能验证能够及早发现微处理器设计错误,减小错误对设计的影响。目前,模拟验证仍然是体系结构级验证的主要手段,但是完全手工生成用于模拟验证的测试程序效率低,错误率高。因此,测试程序的自...
- 朱丹
- 关键词：体系结构描述语言约束满足问题
- 军事装备人力资本教育投资风险研究
- 随着现代高新技术的迅猛发展及其在军事领域的广泛应用,武器装备技术不断提高、更新换代周期日益加快,有力地拉动了军事装备人力资本的教育投资需求。规避军方军事装备人力资本教育投资风险,提高军事装备人力资本教育投资收益,是提升信...
- 朱丹
- 关键词：人力资本教育投资风险
- 面向微处理器验证的约束描述语言及其编译器
- 2005年
- 该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。
- 朱丹冷彪李暾梁磊郭阳李思昆
- 关键词：体系结构描述语言约束满足问题
- RTL模拟矢量自动生成技术研究
- 模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器,基于VCD文件的代码覆盖率分析器/以及基于路径和基于断...
- 郭阳李暾李思昆朱丹梁磊
- 关键词：超大规模集成电路寄存器传输级模拟矢量自动生成
- 文献传递
- 形式化等价性检查指导的软错误敏感点筛选被引量：2
- 2011年
- 由于经典的基于故障模拟的软错误可靠性分析方法不完备,而已有的基于形式化技术的方法虽然完备却又需要经验和专家支持.为此,提出一种由故障传播特征和等价性检查技术指导的软错误可靠性分析方法.首先提出故障传播时序依赖图,并利用它来提取软错误的传播行为特征;然后基于得到的故障传播行为特征对时序单元发生软错误后的电路与原电路进行等价性检查,以识别电路中对软错误敏感的时序单元.实验结果表明,文中方法不仅可以筛选出电路中所有的软错误敏感点,还可以用于检测容错逻辑的有效性.
- 朱丹李暾李思昆
- 关键词：软错误可靠性分析
- 微处理器体系结构级测试程序自动生成技术被引量：7
- 2005年
- 提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性.
- 朱丹李暾郭阳李思昆
- 关键词：体系结构描述语言约束满足问题测试程序生成
