黑龙江省自然科学基金(F201111)
- 作品数：2 被引量：9H指数：2
- 相关作者：袁莉娜孙盟哲张智钧更多>>
- 相关机构：中国科学院电子学研究所哈尔滨工程大学北京计算机及应用研究所更多>>
- 发文基金：中央高校基本科研业务费专项资金黑龙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于模拟的SoC功能验证研究被引量：5
- 2013年
- 基于模拟的验证技术在SoC等复杂数字系统功能验证中一直占据统治地位.模拟激励产生的速度和质量是决定验证过程收敛速度的关键因素,覆盖率信息定量地表示了验证完成的程度.覆盖率导向的受约束随机激励生成技术提高了验证过程的效率和自动化程度.按照是否需要待验证设计的内部结构信息,将受约束随机激励生成技术分为基于学习的激励生成和基于构造的激励生成两类并分别进行分析.对基于模拟的SoC功能验证涉及的其它关键技术如:约束定义、覆盖率分析及IP核及核间通信协议的功能验证等国内外研究现状进行了分析和总结,并对未来的发展趋势和研究方向进行了展望.
- 姚爱红孙盟哲袁莉娜
- 关键词：系统芯片
- 基于断言的Compact PCI总线IP核功能验证被引量：4
- 2014年
- 近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速定位设计缺陷以及易于与设计绑定等优点,在IP核功能验证中受到了广泛的关注.本文研究基于断言的Compact PCI总线控制器核的功能验证问题,提出一种基于断言的监视器组件设计方法,将Compact PCI核接口信号时序的断言、覆盖率统计的断言封装为监视器组件,以提高验证环境的开发效率和可复用性.实际应用表明,本方法在加快验证过程收敛速度的同时,随IP核一起发布的验证组件提高了验证环境的可复用性.
- 姚爱红孙盟哲张智钧袁莉娜
- 关键词：断言IP核SVACOMPACTPCI
