冷彪

作品数：3被引量：0H指数：0
导出分析报告
供职机构：国防科学技术大学计算机学院更多>>
发文主题：VLSI模拟矢量自动生成编译器微处理器验证体系结构描述语言更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机学报》《计算机工程与应用》《计算机工程》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向微处理器验证的约束描述语言及其编译器
《计算机工程与应用》2005年第19期83-86,136,共5页朱丹 冷彪 李暾 梁磊 郭阳 李思昆 
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验...
关键词：体系结构描述语言 约束满足问题 约束描述语言 
HDL描述中决策图模型的提取方法和实现
《计算机工程》2004年第14期76-78,共3页万海 李暾 冷彪 郭阳 李思昆 
国家自然科学重点基金资助项目(90207019);国家"863"计划资金资助项目(2002AA1Z1480)
决策图模型描述了VLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型,给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统,取得了良好的...
关键词：VLSI 决策图模型 模拟矢量自动生成 
面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究
《计算机学报》2004年第6期721-728,共8页李暾 李思昆 )郭阳 万海 冷彪 
国家自然科学基金 ( 60 3 0 3 0 11);国家自然科学基金重点项目基金( 90 2 0 70 19);国家"八六三"高技术研究发展计划项目基金 ( 2 0 0 2AA1Z14 80 )资助
提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各...
关键词：HDL描述 路径覆盖 模拟矢量自动生成 约束逻辑求解 VLSI 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部