您的位置： 专家智库 > >

张华

作品数：2 被引量：3H指数：1
供职机构：西安邮电学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇电子电信

主题

  • 2篇同步数字系列
  • 1篇PSL

机构

  • 2篇西安邮电学院

作者

  • 2篇韩俊刚
  • 2篇张华
  • 2篇郭建

传媒

  • 1篇计算机工程

年份

  • 1篇2007
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于PSL断言的宽带电路交换芯片验证被引量：3
2007年
利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入,降低了验证工作的复杂度,提高了验证的速度和效率,确保了验证工作的质量。
张华郭建韩俊刚
关键词：同步数字系列
用PSL验证宽带电路交换芯片
基于断言的验证使用性质描述语言对系统的功能进行描述,并把这些描述写成相应的断言,通过验证工具检查断言是否成功,从而判断设计是否满足系统的功能要求。 Accellera的性质描述语言PSL,是用来对系统的功能进行规范描述的...
张华郭建韩俊刚
关键词：同步数字系列
文献传递
全选 清除 导出
共1页<1>
聚类工具0