朱丹

作品数：6被引量：13H指数：2
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：体系结构级体系结构描述语言约束满足问题软错误超大规模集成电路更多>>
发文领域：自动化与计算机技术电子电信军事更多>>
发文期刊：《计算机工程与应用》《计算机辅助设计与图形学学报》《软件学报》《计算机工程与科学》更多>>
所获基金：国家自然科学基金长江学者和创新团队发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
VLSI系统级软错误可靠性评价:综述被引量：1
《计算机工程与科学》2013年第3期15-24,共10页朱丹 李暾 李思昆 
国家自然科学基金资助项目(60906009;60773025);长江学者与创新团队发展计划资助项目
由空间辐射、噪声干扰等环境问题引发的软错误给VLSI设计可靠性带来了严峻挑战。由于目前的软错误保护机制通常都基于冗余,因此,对电路进行完全的软错误保护需要的容错代价十分高昂,只能对设计进行有选择性的保护。软错误可靠性分析是...
关键词：软错误保护 可靠性分评价 
形式化等价性检查指导的软错误敏感点筛选被引量：2
《计算机辅助设计与图形学学报》2011年第3期465-470,共6页朱丹 李暾 李思昆 
国家自然科学基金(60573173;60773025)
由于经典的基于故障模拟的软错误可靠性分析方法不完备,而已有的基于形式化技术的方法虽然完备却又需要经验和专家支持.为此,提出一种由故障传播特征和等价性检查技术指导的软错误可靠性分析方法.首先提出故障传播时序依赖图,并利用它...
关键词：软错误 可靠性分析 时序等价性检查 
微处理器体系结构级测试程序自动生成技术被引量：7
《软件学报》2005年第12期2172-2180,共9页朱丹 李暾 郭阳 李思昆 
国家自然科学基金~~
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的...
关键词：体系结构描述语言 约束满足问题 指令模板库 测试程序生成 
面向微处理器验证的约束描述语言及其编译器
《计算机工程与应用》2005年第19期83-86,136,共5页朱丹 冷彪 李暾 梁磊 郭阳 李思昆 
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验...
关键词：体系结构描述语言 约束满足问题 约束描述语言 
RTL验证框架——HRV
《计算机辅助设计与图形学学报》2004年第11期1580-1583,共4页郭阳 李暾 李思昆 朱丹 梁磊 
国家自然科学基金 ( 60 3 0 3 0 11)资助
设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟...
关键词：超大规模集成电路 寄存器传输级 模拟矢量自动生成 覆盖率分析 
基于程序切片的电路提取技术被引量：3
《国防科技大学学报》2003年第6期10-15,共6页朱丹 李暾 万海 郭阳 李思昆 
国家自然科学基金重点项目基金资助(90207019);863项目基金资助(2002AA1Z1480)
从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一...
关键词：程序切片 链接切片 进程依赖图 电路提取 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部