李暾
- 作品数：73 被引量：414H指数：8
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划长江学者和创新团队发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 《大学计算机基础》课程分级教学改革实践被引量：28
- 2011年
- "大学计算机基础"是面向大学一年级学生开设的一门公共基础课程。在调研分析国内外计算机基础课程施教情况的基础上,我校从2009年秋季开始,从教学内容选择、实验项目的建设、课堂教学模式、课外实践活动、教学资源和网络课程建设等各方面,围绕"大学计算机基础"分级教学进行了系统地改革,成效显著。
- 周海芳王挺宁洪李暾贾丽丽
- 关键词：大学计算机基础分级教学信息素养计算思维
- 支持并行模拟的Verilog编译技术研究与实现被引量：2
- 2002年
- 并行HDL模拟是加速大型复杂的VLSI系统模拟验证的有效方法,支持并行模拟的HDL编译技术是其中的关键技术。文章提出了一种支持并行模拟的Verilog编译技术,编译器将Verilog描述转换成C++代码,最后与并行模拟核心库编译链接生成可执行并行程序。文章将主要介绍编译器构成、代码生成方法和并行模拟核心库,该技术已经在并行Verilog模拟器ParaVer上实现。
- 李暾李思昆郭阳刘功杰
- 关键词：VERILOG语言编译器
- 基于WCOJ的UPF供电状态分析器的设计与实现
- 2023年
- 随着集成电路工艺水平日益提高,单个芯片上可集成的功能单元数不断增加,电路的总功耗也变得越来越高,特别是超大规模集成电路设计的功耗问题已经无法回避。一套完备的基于UPF的低功耗设计流程可以解决该问题。针对UPF分析主要为数据表运算的特点,提出了一种WCOJ算法——Leapfrog,对电压域中的每个层次结构的供电电源状态表进行设计规则检查与合并,并设计实现了一个基于WCOJ的UPF供电状态分析工具。实验结果表明,该算法在空间复杂度与时间复杂度方面均有改进,且可移植性强,具有重要的理论与实践意义。
- 史明川邹鸿基秦志楷李暾
- 关键词：低功耗设计
- 组合逻辑单元软错误可靠性分析
- 提出了一种基于时序等价性检查技术的组合逻辑单元系统级可靠性分析理论和方法，并基于VIS系统下用C语言实现了原型工具。实验结果表明本方法可以成功筛选出逻辑电路中的敏感点，为后续优化设计提供指导。
- 孙金银李暾
- 关键词：可靠性分析逻辑电路
- 一种启发式并行逻辑模拟划分算法被引量：5
- 1999年
- 随着并行计算机应用的日趋广泛，在大型数字系统设计验证中，并行逻辑模拟已成为提高模拟验证效率的重要技术途径。并行逻辑模拟算法性能受多种因素影响，其中电路划分算法是直接影响并行逻辑模拟性能的主要因素。提出了一种利用预模拟信息的启发式划分算法，可以明显改善多 Ｃ Ｐ Ｕ 的负载平衡效果，减少处理器间通讯量，有效提高并行逻辑模拟效率。
- 李暾李思昆
- 关键词：并行计算机逻辑模拟
- RTL级模拟矢量自动生成设计化简方法研究被引量：2
- 2004年
- 提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 。
- 李暾郭阳李思昆
- 关键词：VLSI有限状态机模拟矢量自动生成
- 计算机专业课程体系与操作系统课程的衔接被引量：9
- 2013年
- 操作系统课程是计算机科学与技术以及软件工程一级学科的核心课程之一。文章讨论该课程与程序设计、数据结构、计算机原理、编译原理、体系结构等课程之间的内容衔接关系,针对相关章节提出教学建议并就国防科技大学的具体实施情况进行简单讨论。
- 刘万伟薛源罗宇李暾
- 关键词：操作系统课程衔接
- 微处理器体系结构级测试程序自动生成技术被引量：7
- 2005年
- 提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统——MA2TG(microprocessorarchitecturalautomatictestprogramgenerator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以及微处理器的验证时间.MA2TG已应用于DLX处理器和自主开发的EStar嵌入式微处理器的验证.实验结果表明了此方法的有效性.
- 朱丹李暾郭阳李思昆
- 关键词：体系结构描述语言约束满足问题测试程序生成
- 基于构件与扩展层次有色Petri网模拟验证SoC设计
- 本文提出了一种基于构件与扩展层次有色Petri网（简写为EHCPN）模拟验证SoC 设计的方法,给出了EHCPN的形式化定义。基于所提出的EHCPN模型,设计并实现了一个支持SoC系统建模与模拟验证的集成环境:SoC-P...
- 余金山李暾郭阳张耀鸿谭庆平
- 关键词：SOC
- 文献传递
- (A7)专题讨论2:形式验证与模拟验证
- A7．1基于约束求解的验证问题,吴为民基于约束求解的验证技术及其研究现状介绍布尔SAT、RTL SAT、以及CSP 问题之间的关系及其适用性 RTL的字／位混合可满足性求解未来的研究点 A7．2 SoC系统级功能验证,李...
- 韩俊刚吴为民李暾杜慧敏
- 文献传递
