国家自然科学基金(90207015) 作品数:30 被引量:132 H指数:6 相关作者: 韩俊刚 郭建 朱智林 杜慧敏 刘有耀 更多>> 相关机构: 西安邮电学院 西安电子科技大学 陕西师范大学 更多>> 发文基金: 国家自然科学基金 国家科技重大专项 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 理学 文化科学 更多>>
基于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编码器的设计及实现 被引量:29 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无阻塞交换能力。 李宥谋关键词:SDH FPGA技术 帧同步 SDH芯片功能验证平台的设计与实现 被引量:6 2005年 集成电路芯片的规模不断增大,功能越来越复杂,设计验证工作量也越来越大,成为整个设计周期的“瓶颈”。文章针对同步数字体系(SDH)宽带交换芯片设计中的功能验证,设计了初步的SDH验证平台,提出了具有一定通用性的SDH芯片的功能验证方案和实现方法,包括分层的描述和验证方法,一系列标准测试数据和自动观测模拟结果的若干加速C程序。该平台已用于40Gbit/s交换芯片的功能验证,加速了验证过程,取得了满意的效果。 李宥谋 韩俊刚关键词:同步数字体系 数字交叉连接