模拟矢量自动生成

作品数：8被引量：14H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：李暾郭阳李思昆梁磊朱丹更多>>
相关机构：国防科学技术大学北京大学湖南大学重庆城市管理职业学院更多>>
相关期刊：《计算机辅助设计与图形学学报》《计算机学报》《北京大学学报（自然科学版）》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于压缩感知的RTL级功耗估算仿真被引量：1
《计算机测量与控制》2012年第2期438-440,共3页郎永祥 秦拯 
国家自然科学基金项目(61070194);国家发改委信息安全专项(发改办高技[2009]1886号);国家财政部;工信部重大科技成果转化项目(财建[2010]341);湖南省自然科学基金项目(09JJ3124)
系统芯片功耗动态评估往往需要仿真不同的向量集,估算速度慢;为减少SoC功耗估算时间,结合压缩感知优越的稀疏表示能力,设计一种快速的RTL级功耗估算方案;首先根据芯片RTL描述生成模拟输入矢量,然后利用压缩感知生成原始输入矢量的良好...
关键词：功耗估计 寄存器传输级 压缩感知 模拟矢量自动生成 
GATEST:使用遗传算法自动生成模拟矢量的验证平台被引量：7
《北京大学学报（自然科学版）》2006年第5期668-673,共6页易江芳 佟冬 程旭 
国家"863"高技术研究发展计划资助项目(2004AA1Z1010)
对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是...
关键词：路径覆盖率 数据流分析 遗传算法 模拟矢量自动生成 
HDL描述中决策图模型的提取方法和实现
《计算机工程》2004年第14期76-78,共3页万海 李暾 冷彪 郭阳 李思昆 
国家自然科学重点基金资助项目(90207019);国家"863"计划资金资助项目(2002AA1Z1480)
决策图模型描述了VLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型,给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统,取得了良好的...
关键词：VLSI 决策图模型 模拟矢量自动生成 
RTL验证框架——HRV
《计算机辅助设计与图形学学报》2004年第11期1580-1583,共4页郭阳 李暾 李思昆 朱丹 梁磊 
国家自然科学基金 ( 60 3 0 3 0 11)资助
设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟...
关键词：超大规模集成电路 寄存器传输级 模拟矢量自动生成 覆盖率分析 
基于断言的模拟矢量自动生成方法被引量：4
《软件学报》2004年第10期1441-1450,共10页李暾 郭阳 李思昆 
国家自然科学基金;国家高技术研究发展计划(863)~~
VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输...
关键词：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 
RTL级模拟矢量自动生成设计化简方法研究被引量：2
《计算机辅助设计与图形学学报》2004年第5期671-677,共7页李暾 郭阳 李思昆 
国家自然科学基金 ( 6 0 30 30 11;90 2 0 70 19);国家"八六三"高技术研究发展计划( 2 0 02AA1Z14 80 )资助
提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 。
关键词：VLSI Verilog程序切片 有限状态机 模拟矢量自动生成 RTL级 
功能验证模拟矢量自动生成技术研究综述被引量：1
《计算机工程与科学》2003年第6期81-86,共6页李暾 李思昆 郭阳 
国家自然科学基金重点资助项目(69933030)
功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法。本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主...
关键词：功能验证 模拟矢量自动生成 覆盖率 有限状态机 伪随机 高层ATPG 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部