检索结果-内蒙古大学图书馆

软件学报 2004年第10期15卷 1441-1450页

作者：李暾郭阳李思昆国防科学技术大学计算机学院湖南长沙410073

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输... 详细信息

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数据通路间的数据传播,求解效率高;基于功能模型的模拟矢量生成技术,模拟矢量生成目标更明确;与动态加速技术相结合,使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关.实验结果表明,该方法能快速找到并定位设计中的错误,生成模拟矢量效率更高.

关键词： VLSI 断言模拟矢量自动生成

来源：评论

学校读者我要写书评

暂无评论

RTL级模拟矢量自动生成设计化简方法研究

引用

计算机辅助设计与图形学学报 2004年第5期16卷 671-677页

作者：李暾郭阳李思昆国防科学技术大学计算机科学与技术学院长沙410073

提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的实验结果表明 :该算法对状态化简效果非常明显。

关键词： VLSI Verilog程序切片有限状态机模拟矢量自动生成 RTL级

来源：评论

学校读者我要写书评

暂无评论

面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

引用

计算机学报 2004年第6期27卷 721-728页

作者：李暾李思昆 )郭阳万海冷彪国防科学技术大学计算机学院长沙410073 清华大学计算机科学与技术系北京100084

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各... 详细信息

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各种HDL描述风格的问题 ;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题 .实验结果表明该方法能加快模拟矢量生成速度 ,提高路径覆盖率 .生成的模拟矢量也能用于低层次设计验证和故障模拟 ,加快了设计进度 .将该方法的原型系统用于一个 32位微处理器核RTL级验证 ,发现了RTL级设计描述中的错误 .

关键词： HDL描述路径覆盖模拟矢量自动生成约束逻辑求解 VLSI

来源：评论

学校读者我要写书评

暂无评论

SoC功能验证中覆盖率模型和模拟矢量自动生成方法研究

SoC功能验证中覆盖率模型和模拟矢量自动生成方法研究

引用

作者：易江芳北京大学

学位级别：博士

随着集成电路制造工艺的发展，如何保证电路设计的功能正确性已经成为至关重要的问题。功能验证技术主要分为模拟和形式化验证。形式化验证技术目前还不适用于大规模复杂设计的功能验证，模拟仍然是主要的验证技术手段。模拟验证的一个... 详细信息

随着集成电路制造工艺的发展，如何保证电路设计的功能正确性已经成为至关重要的问题。功能验证技术主要分为模拟和形式化验证。形式化验证技术目前还不适用于大规模复杂设计的功能验证，模拟仍然是主要的验证技术手段。模拟验证的一个关键问题在于高效模拟矢量的生成。传统的模拟矢量生成采用手工编写、随机或者受限随机的方法，模拟矢量存在大量冗余。本文主要研究基于覆盖率模型的模拟矢量生成方法，并将其应用于系统芯片的模块级和事务级功能验证中。本文的主要创新点和贡献包括：\n 1、提出一种基于关键信号的路径覆盖率模型。传统的全路径覆盖验证强度高，但由于路径数量庞大而难以验证完全。本文在保证验证强度的基础上，使用关键信号对全路径集合进行选择，生成的路径集合规模小、针对性强。实验数据表明，生成的路径数量平均减少到全路径数量的30％。\n 2、将遗传算法引入到模块级的功能验证流程中，生成高效的模拟矢量。提出并定义一种新的算子--路径相似度作为适应度函数，引导进化过程向目标路径靠近。并采用蒙特卡罗方法对算法的控制参数进行回归分析。与随机生成方法比较，使用遗传算法生成的模拟矢量冗余数据少，有效保证了模块级验证的质量。\n 3、提出使用贝叶斯网络优化模拟矢量，在不降低覆盖率的基础上缩小用于回归验证的模拟矢量的规模。通过样本学习构建出贝叶斯网络，并使用网络推理重新生成高效的模拟矢量。构建贝叶斯网络时，使用信息论中的平均互信息度量变量间关联性的强弱，采用朴素的贝叶斯分类器预测缺失属性，并引入最小置信度评估贝叶斯网络推理的质量。实验结果表明，使用贝叶斯网络生成的模拟矢量长度平均为学习样本的10％，覆盖率达到甚至超过原有样本。\n 4、提出以覆盖率为指导、采用多个生成引擎的层次化验证方法，并建立了对应的验证平台。该平台集成了基于遗传算法的模拟矢量生成引擎和基于贝叶斯网络的模拟矢量生成引擎，支持多种覆盖率模型，可以进行大型复杂系统的功能验证。针对北大众志．863 CPU系统芯片中的PCI总线桥接器设计进行了事务级验证，取得了明显成效。\n 本文研究均采用北京大学微处理器研究开发中心自主设计的系统芯片中的实际关键模块作为实验用例。

关键词：路径覆盖率模型模拟矢量自动生成遗传算法贝叶斯网络 SoC功能验证电子系统设计自动化

来源：评论

学校读者我要写书评

暂无评论

功能验证模拟矢量自动生成技术研究综述

引用

计算机工程与科学 2003年第6期25卷 81-86页

作者：李暾李思昆郭阳国防科技大学计算机学院湖南长沙410073

功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法。本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主... 详细信息

功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法。本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主要问题,最后指出了未来的研究方向。

关键词：功能验证模拟矢量自动生成覆盖率有限状态机伪随机高层ATPG

来源：评论

学校读者我要写书评

暂无评论

RTL模拟矢量自动生成技术研究

RTL模拟矢量自动生成技术研究

引用

全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

作者：郭阳李暾李思昆朱丹梁磊国防科技大学计算机学院(长沙)

模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器,基于VCD文件的代码覆盖率分析器/以及基于路径和基于断言的模拟矢量... 详细信息

模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器,基于VCD文件的代码覆盖率分析器/以及基于路径和基于断言的模拟矢量自动生成方法.实验结果表明,HRV可有效提高模拟验证效率,加速错误检测和错误定位.

关键词：超大规模集成电路寄存器传输级模拟矢量自动生成覆盖率分析

来源：评论

学校读者我要写书评

暂无评论

RTL模拟矢量自动生成技术研究

RTL模拟矢量自动生成技术研究

引用

全国第13届计算机辅助设计与图形学（CAD/CG）学术会议

作者：郭阳李暾李思昆朱丹梁磊国防科技大学计算机学院国防科技大学计算机学院国防科技大学计算机学院国防科技大学计算机学院国防科技大学计算机学院

模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键。本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器、以及基于路径和基于断言的模拟矢... 详细信息

模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键。本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器、以及基于路径和基于断言的模拟矢量自动生成方法。实验结果表明,HRV可有效提高模拟验证效率,加速错误检测和错误定位。

关键词：超大规模集成电路寄存器传输级模拟矢量自动生成覆盖率分析

来源：评论

学校读者我要写书评

暂无评论

基于断言的模拟矢量自动生成方法研究

基于断言的模拟矢量自动生成方法研究

引用

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性。采用断言作为模拟验证的功能模型，提出和实现了一种基于断言的模拟矢量自动生成方法。针对要触发的断言，首先对设计进行化简，通过决策图模型将初... 详细信息

标准号: hg08038785

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性。采用断言作为模拟验证的功能模型，提出和实现了一种基于断言的模拟矢量自动生成方法。针对要触发的断言，首先对设计进行化简，通过决策图模型将初始输入传播到断言，并将传播过程和断言条件一起转化成CLP约束，最后求解CLP约束生成模拟矢量。该方法的优势在于运用了字级（word-level）约束求解技术，能统一处理控制电路和数据通路间的数据传播，求解效率高；基于功能模型的模拟矢量生成技术，模拟矢量生成目标更明确；与动态加速技术相结合，使搜索过程效率更高；设计化简技术的运用使搜索过程计算复杂度只与断言有关。实验结果表明，该方法能快速找到并定位设计中的错误，生成模拟矢量效率更高。

关键词： VLSI 断言模拟矢量自动生成

来源：评论

学校读者我要写书评

暂无评论

GATEST:使用遗传算法自动生成模拟矢量的验证平台

引用

北京大学学报（自然科学版） 2006年第5期42卷 668-673页

作者：易江芳佟冬程旭北京大学微处理器研发中心北京100871

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是... 详细信息

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。

关键词：路径覆盖率数据流分析遗传算法模拟矢量自动生成

来源：评论

学校读者我要写书评

暂无评论

GATEST:使用遗传算法自动生成模拟矢量的验证平台

引用

北京大学学报(自然科学版)网络版(预印本) 2006年第2期 30-35页

作者：易江芳佟冬程旭北京大学微处理器研发中心

关键词：路径覆盖率数据流分析遗传算法模拟矢量自动生成

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：