浙江省科技攻关计划(2004C17002)
- 作品数：4 被引量：9H指数：2
- 相关作者：马琪江龙周宇亮胡力佳徐向阳更多>>
- 相关机构：杭州电子科技大学杭州士兰微电子股份有限公司更多>>
- 发文基金：浙江省科技攻关计划更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 数字集成电路设计中的硬件加速验证技术被引量：1
- 2007年
- 在芯片规模指数式上升和要求面市时间快速缩短的双重压力下,验证已成为数字集成电路设计的瓶颈。利用硬件加速验证技术能很好地解决这一问题。该文论述了硬件加速验证系统的工作原理和组成结构,通过与传统HDL仿真器的比较证明了其优势,并以Aldec公司硬件加速验证工具HES为例说明了硬件加速验证的验证流程。
- 胡力佳马琪徐向阳
- 关键词：仿真器数字集成电路设计
- 基于事务的功能验证方法及其在设计验证中的运用被引量：3
- 2008年
- 介绍了基于事务的验证方法,把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。本文主要介绍这种功能验证方法在UART设计验证中的运用及其测试平台的建立。
- 江龙马琪
- 关键词：事务
- 基于事务的功能验证方法被引量：1
- 2008年
- 功能验证是百万门级IC设计中的一个重要瓶颈。基于事务的验证方法把验证工作提高到一个更高的抽象层次,减少了验证中对信号级时序细节的考虑,更注重于事务级行为的验证,并可提高验证代码编写的重用性,有利于提高验证的工作效率。介绍这种功能验证方法及其测试平台的建立。
- 江龙马琪
- 关键词：事务IC设计
- SOC的可测试性设计策略被引量：4
- 2006年
- 介绍了几种主要的VLSI可测性设计技术,如内部扫描法、内建自测试法和边界扫描法等,论述如何综合利用这些方法解决SOC内数字逻辑模块、微处理器、存储器、模拟模块、第三方IP核等的测试问题,并对SOC的可测性设计策略进行了探讨。
- 周宇亮马琪
- 关键词：可测试性设计系统芯片内建自测试
