国家自然科学基金(90207015)

作品数：30被引量：100H指数：6
导出分析报告
相关作者：韩俊刚郭建朱智林杜慧敏刘有耀更多>>
相关机构：西安邮电学院西安电子科技大学陕西师范大学华中科技大学更多>>
相关期刊：《西安电子科技大学学报》《兰州大学学报（自然科学版）》《西北大学学报（自然科学版）》《微电子学与计算机》更多>>
相关主题：同步数字系列形式化验证硬件电路FPGA数字交叉连接更多>>
相关领域：自动化与计算机技术电子电信理学文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
建立可扩展验证核的方法研究
《微电子学与计算机》2008年第3期156-158,162,共4页曾泽沧 杜慧敏 韩俊刚 
国家自然科学基金项目(90207015);国家"八六三"计划项目(2003AA1Z1190)
提出一种可扩展验证核的结构,根据该结构建立了一个面向光通信应用领域SDH系列芯片验证的可扩展验证核VIP,验证人员通过文本编辑,可以产生验证所需要的XML配置文件,VIP根据配置XML文件,产生仿真激励并在线检查仿真结果.
关键词：验证核SDH 程序语言设计接口 XML 
基于PSL断言的宽带电路交换芯片验证被引量：3
《计算机工程》2007年第14期216-218,235,共4页张华 郭建 韩俊刚 
国家自然科学基金资助重大项目(90207015);国家"863"计划基金资助重大专项课题"超大规模集成电路设计"(2003AA1Z1190)
利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入,降低了验证工作的复杂度,提高了验证的...
关键词：基于断言的验证 同步数字系列 性质描述语言 
基于事务断言验证及SDH芯片验证平台被引量：1
《微计算机信息》2007年第05Z期310-312,共3页刘有耀 韩俊刚 
国家"863"计划项目(2003AA1Z1190);国家自然科学基金项目(90207015)
提出了基于事务断言验证技术,用属性说明语言(Property Specification Language,PSL)描述系统的属性,用事务进行系统的验证,通过编程语言接口机理和工具控制语言来控制验证中PSL断言的状态,使得基于PSL的断言验证可以事务的形式灵活地...
关键词：事务 断言 基于事务断言验证 同步数字体系 属性说明语言 
采用PSL的基于断言的验证被引量：3
《计算机工程》2007年第2期217-219,共3页马博 韩俊刚 
国家自然科学基金资助项目(90207015)
基于断言的验证方法被认为是在硬件设计验证方面的一次重大的方法学的变革。它能有效地提高验证工作的质量和效率。而性质描述语言(PSL)就是使用断言来表达要验证的性质,并且该语言已经被批准为IEEE标准。在简要介绍性质描述语言PSL的...
关键词：基于断言的验证 性质描述语言 同步数字系列 
模态转移系统的三值逻辑模型检验被引量：2
《计算机辅助设计与图形学学报》2006年第6期881-884,共4页郭建 韩俊刚 
国家自然科学基金(90207015)
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法...
关键词：三值逻辑 模型检验 模态转移系统 不完全Kripke结构 
属性说明语言在基于断言的硬件验证中的应用被引量：4
《微电子学与计算机》2006年第5期109-111,114,共4页刘有耀 韩俊刚 
国家自然科学基金项目(90207015)
EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明。文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。然后给出了用PSL实现基于断言的硬件验...
关键词：硬件电路 属性说明语言 基于断言验证 
基于不完全Kripke结构三值逻辑的模型检验被引量：5
《计算机科学》2006年第3期263-266,278,共5页郭建 韩俊刚 
国家自然科学基金(90207015)
模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题。为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式。这样一个逻辑公...
关键词：三值逻辑 模型检验 不完全Kripke结构 
一种高速大容量SDH交叉连接芯片的设计与实现被引量：2
《光通信技术》2006年第3期39-41,共3页刘钊远 韩俊刚 
国家"十五"科技攻关基金项目(2002BA106B06)资助;国家自然科学基金项目(90207015)资助。
介绍了一种高速大容量SDH交叉连接芯片及其各模块所完成功能的设计与实现,重点论述了如何利用T-S-T三级交换网络实现高速大容量的SDH数字交叉,讨论了设计中面临的问题和解决方法。该芯片通过高性能的FPGA器件进行仿真和综合,已经在SDH...
关键词：SDH 数字交叉连接 T-S-T交换结构 FPGA 
周期性任务调度的装箱算法被引量：8
《计算机应用》2006年第3期679-681,691,共4页朱智林 时晨 韩俊刚 陈平 
国家自然科学基金资助项目(90207015)
针对基于时间触发的CAN控制系统,给出了确定周期性任务表中的基本周期的两种策略,提出了构造周期性任务调度表的下次适应、降序下次适应、最佳适应和降序最佳适应四种算法,分析了这四种不同算法的时间复杂度和最坏渐近性能比,最后对不...
关键词：TFCAN 装箱问题 周期性任务调度 渐近性能比 
基于FPGA技术的SDH交换芯片设计与实现
《光通信技术》2006年第2期7-9,共3页李宥谋 
国家"十五"科技攻关项目(2002BA106B)资助;国家自然科学基金项目(90207015)资助。
介绍一种基于FPGA技术实现SDH宽带交换功能的方法,采用Altera的EP1SGX25F芯片完成了16路2.488Gb/s的接收、发送、成帧、解帧和交换功能,运用T-S-T三级交换结构达到了交换粒度为STM-1的40Gb/s无阻塞交换能力。
关键词：SDH FPGA技术 T-S-T交换 帧同步 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部