期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
STM-1/STM-4段开销处理ASIC设计 被引量:1
1
作者 孟李林 黄海生 《半导体技术》 CAS CSCD 北大核心 2001年第3期48-50,共3页
介绍了光同步数字体系中用于STM-1/STM-4模式下段开销处理专用集成电路的设计。重点分析了设计方面的难点并给出了相应的解决方案。实验证明所设计的电路稳定可靠。
关键词 专用集成电路 STM-1 STM-4 段开销处理 电路设计
在线阅读 下载PDF
数字视频图像采集和存储的ASIC芯片设计 被引量:2
2
作者 孟李林 《现代电子技术》 2001年第4期28-29,共2页
介绍了基于电话线传输系统的远程视频报警系统中 ,其数字视频图像的采集和存储的 ASIC芯片设计。分析了设计方面的技术难点并给出了相应的解决方案。使用硬件描述语言( VHDL)和采用自顶向下 ( TOP- DOWN)的设计方法在可编程器件 XC951 0... 介绍了基于电话线传输系统的远程视频报警系统中 ,其数字视频图像的采集和存储的 ASIC芯片设计。分析了设计方面的技术难点并给出了相应的解决方案。使用硬件描述语言( VHDL)和采用自顶向下 ( TOP- DOWN)的设计方法在可编程器件 XC951 0 8- 7- TQ1 0 0上实现了具体电路。应用表明该 ASIC芯片的电路设计正确 ,工作稳定可靠。 展开更多
关键词 电路设计 ASIC 图像存储 数字视频图像采集 专用集成电路
在线阅读 下载PDF
60Gbit/s宽带电路交换ASIC芯片设计 被引量:1
3
作者 孟李林 《光通信研究》 北大核心 2007年第4期49-51,共3页
文章提出了一种60 Gbit/s宽带电路交换专用集成电路(ASIC)芯片的设计实现方案。针对设计芯片速度快、规模大和功耗大等特点,给出了采用流水线设计思想和优化结构处理技术的电路设计解决方案。同时还给出了采用现场可编程门阵列(FPGA)芯... 文章提出了一种60 Gbit/s宽带电路交换专用集成电路(ASIC)芯片的设计实现方案。针对设计芯片速度快、规模大和功耗大等特点,给出了采用流水线设计思想和优化结构处理技术的电路设计解决方案。同时还给出了采用现场可编程门阵列(FPGA)芯片对设计电路进行功能验证的结果和ASIC流片的基本数据。 展开更多
关键词 专用集成电路 现场可编程门阵列 同步数字体系 电路交换
在线阅读 下载PDF
接入网中V5.2接口ASIC芯片设计
4
作者 孟李林 徐敏 《半导体技术》 CAS CSCD 北大核心 2001年第7期31-34,共4页
V5接口提供了接入网与本地交换机间的新型开放式数字接口。重点讨论了符合V5.2接口协议的ASIC芯片的实现方案。根据该方案使用硬件描述语言(Verilog HDL)和采用自顶向下(TOP-DOWN)的设计方法实现了具... V5接口提供了接入网与本地交换机间的新型开放式数字接口。重点讨论了符合V5.2接口协议的ASIC芯片的实现方案。根据该方案使用硬件描述语言(Verilog HDL)和采用自顶向下(TOP-DOWN)的设计方法实现了具体电路,并使用FPGA芯片对该电路进行了物理验证。实验表明根据本方案设计的电路正确,工作稳定可靠。 展开更多
关键词 V5.2接口 接入网 ASIC FPGA 通信网 集成电路设计
在线阅读 下载PDF
基于时态逻辑的硬件设计形式化验证技术——模型检验 被引量:5
5
作者 郭建 杜惠敏 +1 位作者 韩俊刚 郝克刚 《小型微型计算机系统》 CSCD 北大核心 2001年第5期521-524,共4页
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一步地分析 。
关键词 时态逻辑 模型检验 布尔函数 硬件设计 形式化验证 计算机
在线阅读 下载PDF
用VIS验证微处理器PIC 被引量:2
6
作者 杜慧敏 刘建元 +1 位作者 韩俊刚 高德远 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第5期390-395,共6页
近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号模型检验的基本原理和方法 ,重点介绍如何用 VIS系统验证微处理器 PIC设计的正确性 .利用 VIS证明了 PIC... 近年来 ,二叉判定图 BDD(Binary Decision Diagram )和符号模型检验在形式化验证数字电路设计中取得了突破性进展 .文中介绍了符号模型检验的基本原理和方法 ,重点介绍如何用 VIS系统验证微处理器 PIC设计的正确性 .利用 VIS证明了 PIC设计部分电路的等价性 ,发现了一个设计错误并证明了 PIC中一些重要模块的特性 . 展开更多
关键词 微处理器 检验 VIS 二叉决策图 PIC
在线阅读 下载PDF
从SOC到NOC的集成电路设计技术发展 被引量:10
7
作者 孟李林 《半导体技术》 CAS CSCD 北大核心 2008年第3期190-192,共3页
遵循摩尔定律的预言,半导体集成电路工艺技术持续高速向深亚微米工艺发展,大规模集成电路设计技术是发展过程中需要解决的关键问题。基于片上总线的SOC设计技术解决了大规模集成电路的设计难点,但是片上总线的应用带来了可扩展性差、平... 遵循摩尔定律的预言,半导体集成电路工艺技术持续高速向深亚微米工艺发展,大规模集成电路设计技术是发展过程中需要解决的关键问题。基于片上总线的SOC设计技术解决了大规模集成电路的设计难点,但是片上总线的应用带来了可扩展性差、平均通信效率低等问题。近几年研究提出全新的集成电路体系结构NOC,是将计算机网络技术移植到芯片设计中,从体系结构上彻底解决了SOC设计技术存在的问题。因此,NOC将成为集成电路下一代主流设计技术。 展开更多
关键词 集成电路 片上系统 片上总线 片上网络
在线阅读 下载PDF
用VIS系统验证电路的实时特性的探讨 被引量:1
8
作者 郭建 韩俊刚 《计算机工程与应用》 CSCD 北大核心 2001年第17期74-76,110,共4页
文章在分析形式化验证/综合系统VIS 的基础上,改进了该电子系统中的关键技术——二叉判定图(BDD),使BDD能表示电路的定时性质,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
关键词 VIS系统 形式化验证 二叉判定图 实时二叉判定图 集成电路 制造工艺
在线阅读 下载PDF
下一代SDH关键技术——LCAS的实现 被引量:1
9
作者 孟蕾 胡庆 +1 位作者 陈文艺 宋焕生 《光通信技术》 CSCD 北大核心 2004年第2期52-55,共4页
针对传统SDH的带宽利用率不高和不能灵活调配带宽的缺点,介绍了最新提出的下一代SDH关键技术——虚级联(VC)和链路容量调整方案(LCAS)。根据实际应用需要,提出一种改进的链路容量调整实现方案,并详细阐述了具体实现过程。最后给出了虚... 针对传统SDH的带宽利用率不高和不能灵活调配带宽的缺点,介绍了最新提出的下一代SDH关键技术——虚级联(VC)和链路容量调整方案(LCAS)。根据实际应用需要,提出一种改进的链路容量调整实现方案,并详细阐述了具体实现过程。最后给出了虚级联和链路容量调整方案的实际应用实例。 展开更多
关键词 SDH 虚级联 链路容量调整方案
在线阅读 下载PDF
系统级芯片设计语言和验证语言的发展 被引量:2
10
作者 韩俊刚 《现代电子技术》 2005年第3期1-4,共4页
由于微电子技术的迅速发展和系统芯片的出现 ,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大 ,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作 ,出现了所谓“验证危机”。为了适应这种形势 ,电... 由于微电子技术的迅速发展和系统芯片的出现 ,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大 ,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作 ,出现了所谓“验证危机”。为了适应这种形势 ,电子设计和验证工具正在发生迅速而深刻的变革。现在基于 RTL 级的设计和验证方法必须向系统级的设计和验证方法过渡 ,导致了验证语言的出现和标准化 ,本文将对当前出现的系统级设计和验证语言进行全面综述 ,并论述验证语言标准化的情况。分析他们的优缺点和发展趋势。最后简单评述当前的验证方法 ,说明基于断言的验证是结合形式化验证和传统模拟验证可行的途径。 展开更多
关键词 设计验证 系统芯片 设计语言 验证语言
在线阅读 下载PDF
用流水线技术实现STM-16帧定位电路设计 被引量:1
11
作者 孟李林 《光通信研究》 北大核心 2008年第1期17-19,共3页
在高阶宽带电路交换专用集成电路(ASIC)芯片设计中,输入数据的帧定位和数据重排操作需要占用大量的逻辑电路。文章提出了一种流水线结构的帧定位电路设计方式,给出了STM-16码流的帧定位和数据重排的两种不同电路设计实现方案。试验结果... 在高阶宽带电路交换专用集成电路(ASIC)芯片设计中,输入数据的帧定位和数据重排操作需要占用大量的逻辑电路。文章提出了一种流水线结构的帧定位电路设计方式,给出了STM-16码流的帧定位和数据重排的两种不同电路设计实现方案。试验结果表明,采用流水线结构设计实现的STM-16帧定位电路,可明显减小电路规模,降低芯片功耗,提高芯片的可靠性和整体性能。 展开更多
关键词 同步数字体系 流水线 帧定位 数据重排
在线阅读 下载PDF
SDH开销处理专用芯片的设计
12
作者 孟李林 徐东明 王洪波 《计算机应用》 CSCD 2000年第S1期180-181,共2页
介绍了用于STM - 1/STM - 4模式下的段开销处理的专用集成电路的设计。分析了设计方面的难点并给出了相应的解决方案。根据该方案设计的ASIC电路已通过了FPGA验证。实验证明所设计的电路稳定可靠。该芯片在实际应用中具有重要的使用价值。
关键词 SDH 开销 ASIC FPGA
在线阅读 下载PDF
对VIS系统关键技术的改进
13
作者 郭建 韩俊刚 《计算机应用》 CSCD 2000年第S1期184-187,共4页
本文在分析形式化验证 /综合系统VIS的基础上 ,改进了此系统中的关键技术———二叉判定图 (BDD) ,使BDD能表示电路的定时性质 ,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
关键词 VIS系统 形式化验证 二叉判定图 实时二叉判定图
在线阅读 下载PDF
硬件电路的属性说明语言
14
作者 刘有耀 《现代电子技术》 2005年第20期35-37,共3页
传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证。本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标... 传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证。本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言。并对他在M ode ls im SE 6.0仿真工具中的使用做了具体的介绍。 展开更多
关键词 硬件电路 属性说明语言 基于断言验证 自然语言
在线阅读 下载PDF
用属性说明语言验证硬件电路
15
作者 刘有耀 《现代电子技术》 2005年第21期104-106,共3页
过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证。然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。本... 过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证。然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。本文首先介绍了属性说明语言的属性定义,然后说明了用属性说明语言实现硬件电路验证的方法。通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。 展开更多
关键词 硬件电路 属性说明语言 验证 自然语言
在线阅读 下载PDF
时频分析在阵列信号处理中的应用
16
作者 吕菱 强智 《现代电子技术》 2004年第10期63-65,共3页
时频分析已经应用到了许多领域 ,Forrester,Atlas et al.和 Williams最先认识到时频分析在机器故障检测这一领域的重要性 ,并且做了大量的研究工作。在生物和生物医学中 ,时频分析的应用也很广泛。在通信领域 ,A m in也把时频分析作为... 时频分析已经应用到了许多领域 ,Forrester,Atlas et al.和 Williams最先认识到时频分析在机器故障检测这一领域的重要性 ,并且做了大量的研究工作。在生物和生物医学中 ,时频分析的应用也很广泛。在通信领域 ,A m in也把时频分析作为一种有效的工具来使用。当然 ,时频分析在信号检测与信号分类中也得到了广泛的应用。近来 Am in将时频分析应用到统计信号处理和阵列信号处理之中 ,取得了很多重要的进展。本文主要综述时频分析在阵列信号处理中的应用。时频分析在阵列信号处理中主要有两方面的应用 ,一是时频 MUSIC。 展开更多
关键词 阵列信号处理 时频MUSIC 空时频分布 空域平均
在线阅读 下载PDF
硬件描述语言VHDL到Verilog的翻译 被引量:4
17
作者 郭建 刘建元 +3 位作者 杜慧敏 韩俊刚 郝克刚 华庆一 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2000年第1期15-19,共5页
分析了两种常用硬件描述语言 Verilog和 VHDL的语言特征 ,找出它们之间内在的对应关系 ,并阐述了由 VHDL向 Verilog语言翻译的实现方法。
关键词 VHDL语言 VERILOG语言 翻译程序 硬件描述语言
在线阅读 下载PDF
基于PSL断言的宽带电路交换芯片验证 被引量:3
18
作者 张华 郭建 韩俊刚 《计算机工程》 CAS CSCD 北大核心 2007年第14期216-218,235,共4页
利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入,降低了验证工作的复杂度,提高了验... 利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入,降低了验证工作的复杂度,提高了验证的速度和效率,确保了验证工作的质量。 展开更多
关键词 基于断言的验证 同步数字系列 性质描述语言
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部