殷燎
- 作品数：4 被引量：17H指数：3
- 供职机构：浙江大学电气工程学院超大规模集成电路设计研究所更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 面向SoC的IP核及嵌入式处理器功能验证方法研究
- 随着SoC设计复杂度与上市时间的矛盾日益凸显,功能验证已经成为超大规模集成电路设计的严峻挑战。本文以IP核及嵌入式处理器的功能验证为研究对象,分别对验证平台、验证工具、仿真流程、验证方法进行探索,系统地提出了高效的IP核...
- 殷燎
- 关键词：无线系统动态仿真嵌入式处理器
- 文献传递
- 一种面向微处理器验证的分层随机激励方法被引量：8
- 2010年
- 针对日趋复杂的微处理器功能验证,提出一种基于分层思想的受限随机激励产生方法,通过测试层、场景层、功能层和指令层的多层约束,实现随机激励在不同粒度范围的高度可控性,精炼测试空间,加快验证的收敛速度。采用可配置的功能库,将处理器功能行为单元作为随机激励的构建基础,产生逻辑功能与通信接口结合的随机激励,实现系列处理器的验证复用。CKCore处理器验证的实验结果表明,该方法与受限随机激励相比,在功能覆盖率相同的情况下,激励编写量减少60%;在仿真时间相同的情况下,功能和代码覆盖率分别改善10%和5%以上,有效提高处理器验证的质量和效率。
- 张欣黄凯孟建熠殷燎严晓浪葛海通
- 关键词：微处理器
- 基于虚拟SoC平台的IP正交激励验证方法被引量：3
- 2010年
- 针对传统的IP验证方法中模块级验证平台与激励发生机制效率较低且难以重用的问题,提出一种基于虚拟SoC平台的正交激励验证方法,以优化IP验证流程.通过高层抽象建模,对传统IP验证平台进行扩展,构建包括系统级功能模型与外设行为模型在内的IP验证虚拟SoC平台;基于此平台提出通信与计算分离的正交化激励映射,并分别优化IP通信接口与逻辑功能验证用例生成流程.多个IP的功能验证实例结果表明,该方法可显著地提高IP验证重用性与验证效率,降低验证复杂度.
- 殷燎黄凯张欣孟建熠葛海通严晓浪
- 一种多处理器原型及其系统芯片设计方法被引量：6
- 2009年
- 随着嵌入式应用快速发展,系统芯片(SoC)设计日趋复杂.高效可靠的设计多处理器系统芯片逐渐成为一个巨大挑战.本文提出一种多处理器原型及其SoC设计方法,将多处理器及其通信统一建模于一个多层次、灵活和可配的软硬件原型中,通过分层次、从高层抽象到底层实现逐步深入的方法解决软硬件接口验证问题和完善软硬件架构.H.264解码实验证明多处理器原型功能可行性和物理可实现性.基于该原型的多层次细化方法可有效确保SoC软硬件设计的正确性,并有助于软硬件结构协同设计优化.
- 黄凯殷燎林锋毅葛海通严晓浪
- 关键词：系统芯片软硬件协同设计
