RTL数据通路模拟矢量自动生成方法研究与实现 被引量：2

1

作者 李暾 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1062-1069,共8页

针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约... 针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。 展开更多

关键词 RTL 数据通路 模拟矢量自动生成方法 约束逻辑编辑 CLP VLSI 形式化描述 模型检验 位向量算术 约束求解

在线阅读 下载PDF 职称材料

交互状态机模型模拟矢量自动生成方法 被引量：1

2

作者 李暾 郭阳 李思昆 《软件学报》 EI CSCD 北大核心 2003年第3期628-634,共7页

模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生... 模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题. 展开更多

关键词 交互状态机模型 模拟矢量自动生成方法 数字系统 覆盖率测度

在线阅读 下载PDF 职称材料

基于断言的模拟矢量自动生成方法 被引量：4

3

作者 李暾 郭阳 李思昆 《软件学报》 EI CSCD 北大核心 2004年第10期1441-1450,共10页

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

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

在线阅读 下载PDF 职称材料

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

4

作者 李暾 李思昆 +2 位作者 )郭阳 万海 冷彪 《计算机学报》 EI CSCD 北大核心 2004年第6期721-728,共8页

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

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

在线阅读 下载PDF 职称材料

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

5

作者 李暾 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第5期671-677,共7页

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

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

在线阅读 下载PDF 职称材料

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

6

作者 易江芳 佟冬 程旭 《北京大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第5期668-673,共6页

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

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

在线阅读 下载PDF 职称材料

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

7

作者 李暾 李思昆 郭阳 《计算机工程与科学》 CSCD 2003年第6期81-86,共6页

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

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

在线阅读 下载PDF 职称材料

基于GIS的边坡有限元网格自动生成研究 被引量：7

8

作者 徐帮树 徐建华 +1 位作者 芮建勋 王强 《地理与地理信息科学》 CSSCI CSCD 北大核心 2005年第3期23-25,29,共4页

GIS已广泛运用于滑坡灾害研究,但GIS和数值方法相结合研究边坡问题的文献很少。原因在于边坡失稳和滑坡形成是复杂的三维空间物理力学过程,而三维空间数据模型理论还不成熟。因此,在现有GIS软件平台上实现大区域滑坡灾害数值模拟的关键... GIS已广泛运用于滑坡灾害研究,但GIS和数值方法相结合研究边坡问题的文献很少。原因在于边坡失稳和滑坡形成是复杂的三维空间物理力学过程,而三维空间数据模型理论还不成熟。因此,在现有GIS软件平台上实现大区域滑坡灾害数值模拟的关键在于三维有限元网格的自动生成。该文研究边坡岩土数值分析相关数据的GIS数据存储格式,提出基于栅格的六面体有限元网格生成和基于TIN的三棱柱有限元网格生成,并利用ArcGIS9 0、Ansys7 0实现有限元网格自动生成。 展开更多

关键词 网格自动生成 GIS 有限元网格生成 三维有限元网格 三维空间数据 数据存储格式 灾害研究 数值方法 力学过程 空间物理 边坡失稳 模型理论 数值模拟 滑坡灾害 软件平台 相关数据 数值分析 大区域 三棱柱 TIN 六面体

在线阅读 下载PDF 职称材料

HDL描述中决策图模型的提取方法和实现

9

作者 万海 李暾 +2 位作者 冷彪 郭阳 李思昆 《计算机工程》 CAS CSCD 北大核心 2004年第14期76-78,共3页

决策图模型描述了VLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型,给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统,取得了良好的... 决策图模型描述了VLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型,给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统,取得了良好的效果。 展开更多

关键词 VLSI 决策图模型 模拟矢量自动生成

在线阅读 下载PDF 职称材料

基于模拟的验证技术在CPU设计中的应用

10

作者 吕涛 李华伟 +1 位作者 李晓维 樊建平 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第10期1257-1261,共5页

在一款通用CPU设计中 ,应用了多种验证技术 ,包括基于测试矢量的验证、基于覆盖率的验证等等 .通过理论分析和实验研究 ,不同的技术显现出各自适用的时机和方式 .实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性 .

关键词 验证技术 CPU 设计验证 模拟 测试矢量自动产生 覆盖率 设计方法 芯片设计

在线阅读 下载PDF 职称材料

画法几何及工程制图课程CAI的探讨 被引量：2

11

作者 丁宇明 李亚萍 《中国大学教学》 1996年第2期31-32,共2页

画法几何及工程制图课程ＣＡＩ的探讨武汉水利电力大学丁宇明，李亚萍一、画法几何及制图课ＣＡＩ现状本课程的ＣＡＩ４件内容上主要有画法几何、组合体读图、剖视剖面、计算机绘图等；制作方法上，有的以自编程序为主，有的以通用绘图... 画法几何及工程制图课程ＣＡＩ的探讨武汉水利电力大学丁宇明，李亚萍一、画法几何及制图课ＣＡＩ现状本课程的ＣＡＩ４件内容上主要有画法几何、组合体读图、剖视剖面、计算机绘图等；制作方法上，有的以自编程序为主，有的以通用绘图软件十。ＡＵＴＯＣＡＤ为主，有的则... 展开更多

关键词 画法几何及工程制图 课件 教学信息 知识库 计算机绘图 软件设计策略 自动生成 稿本编写 动态模拟 制作方法

在线阅读 下载PDF 职称材料

RTL验证框架——HRV

12

作者 郭阳 李暾 +2 位作者 李思昆 朱丹 梁磊 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1580-1583,共4页

设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟... 设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟验证效率 。 展开更多

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

在线阅读 下载PDF 职称材料