系统级芯片设计语言和验证语言的发展 被引量：2

1

作者 韩俊刚 《现代电子技术》 2005年第3期1-4,共4页

由于微电子技术的迅速发展和系统芯片的出现 ,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大 ,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作 ,出现了所谓“验证危机”。为了适应这种形势 ,电... 由于微电子技术的迅速发展和系统芯片的出现 ,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大 ,复杂度日益增加。人们用传统的模拟方法难以完成设计验证工作 ,出现了所谓“验证危机”。为了适应这种形势 ,电子设计和验证工具正在发生迅速而深刻的变革。现在基于 RTL 级的设计和验证方法必须向系统级的设计和验证方法过渡 ,导致了验证语言的出现和标准化 ,本文将对当前出现的系统级设计和验证语言进行全面综述 ,并论述验证语言标准化的情况。分析他们的优缺点和发展趋势。最后简单评述当前的验证方法 ,说明基于断言的验证是结合形式化验证和传统模拟验证可行的途径。 展开更多

关键词 设计验证 系统芯片 设计语言 验证语言

下载PDF 职称材料

属性说明语言在基于断言的硬件验证中的应用 被引量：4

2

作者 刘有耀 韩俊刚 《微电子学与计算机》 CSCD 北大核心 2006年第5期109-111,114,共4页

EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明。文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。然后给出了用PSL实现基于断言的硬件验... EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明。文章首先介绍了基于断言验证的基本概念和属性说明语言PSL的用途和属性定义。然后给出了用PSL实现基于断言的硬件验证方法。用一个实例说明了怎样用PSL语言实现基于断言的验证。 展开更多

关键词 硬件电路 属性说明语言 基于断言验证

下载PDF 职称材料

一种无阻塞的高阶电路交换方案设计 被引量：2

3

作者 孟李林 《西安邮电学院学报》 2007年第5期1-3,共3页

电路交换是SDH系统中的基本功能,提出一种无阻塞的高阶电路交换设计方案。针对交换电路的速度高、规模大、恭耗大等特点,给出了采用流水线设计思想和优化结构处理技术的电路设计解决方案。采用FPGA芯片对设计方案进行了功能验证并给出... 电路交换是SDH系统中的基本功能,提出一种无阻塞的高阶电路交换设计方案。针对交换电路的速度高、规模大、恭耗大等特点,给出了采用流水线设计思想和优化结构处理技术的电路设计解决方案。采用FPGA芯片对设计方案进行了功能验证并给出验证结果。设计方案能够实现接口速率为2.488Gbit/s的64路串行输入/输出信号,即1024×1024 STM-1/AU-4码流的无阻塞电路交换,无需外接其他逻辑部件。 展开更多

关键词 同步数字体系 电路交换 现场可编程器件

下载PDF 职称材料

SDH中E1接口数字分接复用的ASIC电路设计与实现 被引量：2

4

作者 刘宇 陈文艺 《西安邮电学院学报》 2001年第1期59-63,共5页

介绍了用于SDH系统中E1接口电路———数字分接复用器的专用集成电路 (ASIC)的VHDL电路设计及FPGA实现。该分接复用器电路用纯数字同步方式实现 ,可完成SDH系统接口电路中 7路 (可扩展成N路 )E1数据流的分接和复用。该设计输入采用VHDL... 介绍了用于SDH系统中E1接口电路———数字分接复用器的专用集成电路 (ASIC)的VHDL电路设计及FPGA实现。该分接复用器电路用纯数字同步方式实现 ,可完成SDH系统接口电路中 7路 (可扩展成N路 )E1数据流的分接和复用。该设计输入采用VHDL和状态转移图。 展开更多

关键词 ASIC VHDL 分接复用器 FPGA

下载PDF 职称材料

接入网中V5.2接口ASIC芯片设计

5

作者 孟李林 徐敏 《半导体技术》 CAS CSCD 北大核心 2001年第7期31-34,共4页

Ｖ５接口提供了接入网与本地交换机间的新型开放式数字接口。重点讨论了符合Ｖ５．２接口协议的ＡＳＩＣ芯片的实现方案。根据该方案使用硬件描述语言（Ｖｅｒｉｌｏｇ ＨＤＬ）和采用自顶向下（ＴＯＰ－ＤＯＷＮ）的设计方法实现了具... Ｖ５接口提供了接入网与本地交换机间的新型开放式数字接口。重点讨论了符合Ｖ５．２接口协议的ＡＳＩＣ芯片的实现方案。根据该方案使用硬件描述语言（Ｖｅｒｉｌｏｇ ＨＤＬ）和采用自顶向下（ＴＯＰ－ＤＯＷＮ）的设计方法实现了具体电路，并使用ＦＰＧＡ芯片对该电路进行了物理验证。实验表明根据本方案设计的电路正确，工作稳定可靠。 展开更多

关键词 V5.2接口 接入网 ASIC FPGA 通信网 集成电路设计

下载PDF 职称材料

用流水线技术实现STM-16帧定位电路设计 被引量：1

6

作者 孟李林 《光通信研究》 北大核心 2008年第1期17-19,共3页

在高阶宽带电路交换专用集成电路(ASIC)芯片设计中,输入数据的帧定位和数据重排操作需要占用大量的逻辑电路。文章提出了一种流水线结构的帧定位电路设计方式,给出了STM-16码流的帧定位和数据重排的两种不同电路设计实现方案。试验结果... 在高阶宽带电路交换专用集成电路(ASIC)芯片设计中,输入数据的帧定位和数据重排操作需要占用大量的逻辑电路。文章提出了一种流水线结构的帧定位电路设计方式,给出了STM-16码流的帧定位和数据重排的两种不同电路设计实现方案。试验结果表明,采用流水线结构设计实现的STM-16帧定位电路,可明显减小电路规模,降低芯片功耗,提高芯片的可靠性和整体性能。 展开更多

关键词 同步数字体系 流水线 帧定位 数据重排

下载PDF 职称材料

60Gbit/s宽带电路交换ASIC芯片设计 被引量：1

7

作者 孟李林 《光通信研究》 北大核心 2007年第4期49-51,共3页

文章提出了一种60 Gbit/s宽带电路交换专用集成电路(ASIC)芯片的设计实现方案。针对设计芯片速度快、规模大和功耗大等特点,给出了采用流水线设计思想和优化结构处理技术的电路设计解决方案。同时还给出了采用现场可编程门阵列(FPGA)芯... 文章提出了一种60 Gbit/s宽带电路交换专用集成电路(ASIC)芯片的设计实现方案。针对设计芯片速度快、规模大和功耗大等特点,给出了采用流水线设计思想和优化结构处理技术的电路设计解决方案。同时还给出了采用现场可编程门阵列(FPGA)芯片对设计电路进行功能验证的结果和ASIC流片的基本数据。 展开更多

关键词 专用集成电路 现场可编程门阵列 同步数字体系 电路交换

下载PDF 职称材料

硬件电路的属性说明语言

8

作者 刘有耀 《现代电子技术》 2005年第20期35-37,共3页

传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证。本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标... 传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证。本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言。并对他在M ode ls im SE 6.0仿真工具中的使用做了具体的介绍。 展开更多

关键词 硬件电路 属性说明语言 基于断言验证 自然语言

下载PDF 职称材料

STM-1/STM-4段开销处理ASIC设计 被引量：1

9

作者 孟李林 黄海生 《半导体技术》 CAS CSCD 北大核心 2001年第3期48-50,共3页

介绍了光同步数字体系中用于ＳＴＭ－１／ＳＴＭ－４模式下段开销处理专用集成电路的设计。重点分析了设计方面的难点并给出了相应的解决方案。实验证明所设计的电路稳定可靠。

关键词 专用集成电路 STM-1 STM-4 段开销处理 电路设计

下载PDF 职称材料

用属性说明语言验证硬件电路

10

作者 刘有耀 《现代电子技术》 2005年第21期104-106,共3页

过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证。然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。本... 过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证。然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。本文首先介绍了属性说明语言的属性定义,然后说明了用属性说明语言实现硬件电路验证的方法。通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。 展开更多

关键词 硬件电路 属性说明语言 验证 自然语言

下载PDF 职称材料

SDH开销处理专用芯片的设计

11

作者 孟李林 徐东明 王洪波 《计算机应用》 CSCD 2000年第S1期180-181,共2页

介绍了用于STM - 1/STM - 4模式下的段开销处理的专用集成电路的设计。分析了设计方面的难点并给出了相应的解决方案。根据该方案设计的ASIC电路已通过了FPGA验证。实验证明所设计的电路稳定可靠。该芯片在实际应用中具有重要的使用价值。

关键词 SDH 开销 ASIC FPGA

下载PDF 职称材料

设计重构实现FIFO和DM合并的方案研究

12

作者 孟李林 《微电子学与计算机》 CSCD 北大核心 2008年第3期32-34,共3页

提出了一种存储器设计重构的新思想,给出了两种不同的异步时分交换电路的设计方案.试验结果表明,采用设计重构实现FIFO和DM两块存储器合并的设计方案能够减少存储器的使用数目,缩小芯片的面积,从而简化电路设计复杂度,降低芯片的功耗,... 提出了一种存储器设计重构的新思想,给出了两种不同的异步时分交换电路的设计方案.试验结果表明,采用设计重构实现FIFO和DM两块存储器合并的设计方案能够减少存储器的使用数目,缩小芯片的面积,从而简化电路设计复杂度,降低芯片的功耗,提高芯片的可靠性和整体性能. 展开更多

关键词 同步数字体系 电路交换 先进先出 T交换器 数据存储器 设计重构

下载PDF 职称材料