梁磊
- 作品数：6 被引量：0H指数：0
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 面向微处理器验证的约束描述语言及其编译器
- 2005年
- 该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言,并设计实现了该语言的编译器,详细介绍了语言特性以及为了生成合法体系结构级测试程序,编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。
- 朱丹冷彪李暾梁磊郭阳李思昆
- 关键词：体系结构描述语言约束满足问题
- RTL模拟矢量自动生成技术研究
- 模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键.本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器,基于VCD文件的代码覆盖率分析器/以及基于路径和基于断...
- 郭阳李暾李思昆朱丹梁磊
- 关键词：超大规模集成电路寄存器传输级模拟矢量自动生成
- 文献传递
- 微处理器体系结构级功能验证程序自动生成技术研究
- 体系结构级功能验证已成为微处理器设计过程的瓶颈。体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成。本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器...
- 梁磊郭阳李暾朱丹
- 关键词：微处理器伪随机
- 文献传递
- RTL验证框架——HRV
- 2004年
- 设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器以及基于路径和基于断言的模拟矢量自动生成方法 实验结果表明 ,HRV通过集成多种验证工具 ,提高了模拟验证效率 。
- 郭阳李暾李思昆朱丹梁磊
- 关键词：超大规模集成电路寄存器传输级模拟矢量自动生成
- 微处理器体系结构级功能验证程序自动生成技术研究
- 体系结构级功能验证已成为微处理器设计过程的瓶颈.体系结构级的模拟验证质量和周期极大地依赖于验证程序的生成.本文深入分析了体系结构级模拟验证程序自动生成技术的理论和方法,并针对现有方法的不足,提出了一种全面而灵活的微处理器...
- 梁磊郭阳李暾朱丹
- 关键词：微处理器伪随机程序自动生成
- 文献传递
- RTL模拟矢量自动生成技术研究
- 模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键。本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器、以及基于路径和基于断...
- 郭阳李暾李思昆朱丹梁磊
- 关键词：超大规模集成电路寄存器传输级模拟矢量自动生成
- 文献传递
