褚晓滨
- 作品数：2 被引量：19H指数：2
- 供职机构：中国航天北京微电子技术研究所更多>>
- 相关领域：电子电信更多>>
- USB接口海量存储指令分析被引量：6
- 2008年
- 基于USB总线接口的海量存储已经得到了广泛的应用。主机和海量存储设备之间的通信严格遵循USB2.0协议和USB海量存储协议。海量存储构架于USB协议之上,将海量存储命令内嵌于USB协议之中。本文对海量存储所涉及的USB命令和SCSI命令进行深入分析,展示主机如何与USB海量存储设备进行数据交换。
- 褚晓滨陆铁军宗宇
- 关键词：USB海量存储SCSI
- 结合断言与覆盖率为导向的验证方法被引量：13
- 2008年
- 伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功能"遗漏点"的侦测.基于断言的验证方法可以将断言加入到DUT内部,通过断言覆盖加强覆盖率检测.阐述了将断言和覆盖率为导向相结合的验证方法,并用此种方法对USB2.0系统进行了验证.讨论了如何将两种验证方法有效地结合,并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证方法的结果,说明结合断言与覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期.
- 褚晓滨陆铁军宗宇
- 关键词：断言海量存储
