您的位置： 专家智库 > >

国家自然科学基金(90207015)

作品数：30 被引量：134H指数：6
相关作者：韩俊刚郭建朱智林杜慧敏刘有耀更多>>
相关机构：西安邮电学院西安电子科技大学陕西师范大学更多>>
发文基金：国家自然科学基金国家科技重大专项国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信理学文化科学更多>>

文献类型

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

领域

  • 16篇自动化与计算...
  • 10篇电子电信
  • 5篇理学
  • 1篇文化科学

主题

  • 5篇同步数字系列
  • 4篇硬件
  • 3篇电路
  • 3篇形式化
  • 3篇形式化验证
  • 3篇硬件电路
  • 3篇芯片
  • 2篇断言
  • 2篇硬件验证
  • 2篇弱拓扑
  • 2篇三值逻辑
  • 2篇事务
  • 2篇数字交叉连接
  • 2篇同步数字体系
  • 2篇片上系统
  • 2篇强拓扑
  • 2篇自然语言
  • 2篇系统芯片
  • 2篇小波
  • 2篇小波变换

机构

  • 28篇西安邮电学院
  • 5篇西安电子科技...
  • 3篇华中科技大学
  • 3篇山东工商学院
  • 3篇陕西师范大学

作者

  • 20篇韩俊刚
  • 7篇郭建
  • 4篇杜慧敏
  • 4篇朱智林
  • 4篇刘有耀
  • 3篇曾泽沧
  • 3篇韩诚
  • 3篇李宥谋
  • 2篇陈平
  • 2篇屈汉章
  • 2篇张华
  • 1篇周红军
  • 1篇孟李林
  • 1篇左天军
  • 1篇黄海生
  • 1篇王国俊
  • 1篇张斌
  • 1篇刘钊远
  • 1篇宋国乡
  • 1篇刘晓华

传媒

  • 5篇现代电子技术
  • 3篇计算机工程
  • 3篇微电子学与计...
  • 2篇计算机应用
  • 2篇计算机辅助设...
  • 2篇西安电子科技...
  • 2篇光通信技术
  • 2篇计算机科学
  • 1篇电讯技术
  • 1篇西北大学学报...
  • 1篇兰州大学学报...
  • 1篇小型微型计算...
  • 1篇Journa...
  • 1篇微计算机信息
  • 1篇光通信研究
  • 1篇陕西师范大学...
  • 1篇西安邮电学院...

年份

  • 1篇2008
  • 3篇2007
  • 8篇2006
  • 15篇2005
  • 4篇2004
共 30 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于PSL断言的宽带电路交换芯片验证被引量：3
2007年
利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入,降低了验证工作的复杂度,提高了验证的速度和效率,确保了验证工作的质量。
张华郭建韩俊刚
关键词：同步数字系列
自适应比特泄漏电路设计的研究被引量：2
2005年
用自适应比特泄漏扩散由指针调整引起抖动是衰减通信抖动的一种重要的手段,结合SDH中TU-12指针调整的特点,重点讨论一种自适应比特泄漏电路设计以及比特泄漏率的软件计算方法,并给出了SDH结合抖动中四种测试码的理论计算结果和芯片实测结果.
杜慧敏黄海生张斌沈绪榜
关键词：同步数字系列抖动
时序电路的形式化证明
2005年
对硬件的形式化验证是硬件验证的一个发展方向,形式化验证一个时序电路就是证明电路的实现是否满足他的规格描述。本文提出了用等式逻辑ε的一个公式Ws来表示电路的实现,用T em pura的程序B表示对该电路的特性描述。公式P B引入来证明电路的正确性,这里P是电路的初始状态,是从Ws中抽取的,另外还要从Ws提取输出等式。这样,一旦证明了P B,就能证明实现满足规格描述。最后,给出了一个例子来说明此证明方法。
郭建
关键词：形式化验证逻辑公式时序电路形式化验证硬件验证表示电路
建立可扩展验证核的方法研究
2008年
提出一种可扩展验证核的结构,根据该结构建立了一个面向光通信应用领域SDH系列芯片验证的可扩展验证核VIP,验证人员通过文本编辑,可以产生验证所需要的XML配置文件,VIP根据配置XML文件,产生仿真激励并在线检查仿真结果.
曾泽沧杜慧敏韩俊刚
关键词：XML
SOC的形式化验证方法被引量：2
2005年
如何对片上系统(SOC)来进行验证,是一个比较复杂的问题。本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法。最后给出了对SOC验证的一般方法。
郭建韩俊刚
关键词：片上系统形式化验证等价性验证
用PSL验证宽带电路交换芯片
基于断言的验证使用性质描述语言对系统的功能进行描述,并把这些描述写成相应的断言,通过验证工具检查断言是否成功,从而判断设计是否满足系统的功能要求。 Accellera的性质描述语言PSL,是用来对系统的功能进行规范描述的...
张华郭建韩俊刚
关键词：同步数字系列
文献传递
构造特定应用领域芯片验证环境的方法讨论被引量：6
2004年
由于IC设计复杂度日益增加,用于IC设计功能验证的时间占到整个设计周期的60%～70%.我们认为针对某个领域的产品,开发可配置的验证环境是验证领域的一个方向,本文重点讨论开发特定应用领域芯片的验证环境方法,并介绍了根据该方法,我们开发的一个面向SDH领域系列芯片的验证环境.
杜慧敏曾泽沧韩俊刚沈绪榜
8B/10B编码器的设计及实现被引量：30
2005年
本文介绍了8B/10B编码技术,提出了一种简单、实用的8B/10B编码器的实现方法,并且采用Verilog语言设计了一种通用的软核。通过在FPGA器件上进行测试,电路稳定、可靠,可直接嵌入到需要8B/10B编码功能的收发器电路中。
李宥谋
关键词：串行数据传输VERILOG语言
基于FPGA技术的SDH交换芯片设计与实现
2006年
介绍一种基于FPGA技术实现SDH宽带交换功能的方法,采用Altera的EP1SGX25F芯片完成了16路2.488Gb/s的接收、发送、成帧、解帧和交换功能,运用T-S-T三级交换结构达到了交换粒度为STM-1的40Gb/s无阻塞交换能力。
李宥谋
关键词：SDHFPGA技术帧同步
SDH芯片功能验证平台的设计与实现被引量：6
2005年
集成电路芯片的规模不断增大,功能越来越复杂,设计验证工作量也越来越大,成为整个设计周期的“瓶颈”。文章针对同步数字体系(SDH)宽带交换芯片设计中的功能验证,设计了初步的SDH验证平台,提出了具有一定通用性的SDH芯片的功能验证方案和实现方法,包括分层的描述和验证方法,一系列标准测试数据和自动观测模拟结果的若干加速C程序。该平台已用于40Gbit/s交换芯片的功能验证,加速了验证过程,取得了满意的效果。
李宥谋韩俊刚
关键词：同步数字体系数字交叉连接
全选 清除 导出
共4页<1234>
聚类工具0