片上系统设计中软硬件协同验证方法的研究 被引量：7

1

作者 严迎建 刘明业 《电子与信息学报》 EI CSCD 北大核心 2005年第2期317-321,共5页

讨论一种面向片上系统(SOC)设计的基于指令集模拟器和硬件模拟器的软硬件协同验证方法。该方法能够在SOC设计的早期对整个系统功能进行验证,能够为设计者提供一个纯虚拟的软硬件协同验证环境。重点讨论协同模拟过程中软硬件交互事件的... 讨论一种面向片上系统(SOC)设计的基于指令集模拟器和硬件模拟器的软硬件协同验证方法。该方法能够在SOC设计的早期对整个系统功能进行验证,能够为设计者提供一个纯虚拟的软硬件协同验证环境。重点讨论协同模拟过程中软硬件交互事件的产生和处理方法,以及软硬件模拟器之间的同步和优化方法,并且给出了事件驱动硬件模拟器的协同模拟控制算法。最后给出了一个基于ARM7TDMI的设计验证实例。 展开更多

关键词 片上系统 协同验证 协同模拟 指令集模拟器

在线阅读 下载PDF 职称材料

一种基于FPGA技术的虚拟逻辑分析仪的研究与实现 被引量：11

2

作者 王春花 黄厚宽 马聪 《电子技术应用》 北大核心 2000年第3期39-42,共4页

逻辑分析仪的现状、发展趋势及研制虚拟逻辑分析仪的必要性，论述了基于 ＦＰＧＡ技术的虚拟逻辑分析仪的设计方案及具体实现方法，介绍了其中控制器的设计原理。将先进的ＦＰＧＡ技术引入硬制版的设计中，为研制ＰＣ虚拟仪器提出了一... 逻辑分析仪的现状、发展趋势及研制虚拟逻辑分析仪的必要性，论述了基于 ＦＰＧＡ技术的虚拟逻辑分析仪的设计方案及具体实现方法，介绍了其中控制器的设计原理。将先进的ＦＰＧＡ技术引入硬制版的设计中，为研制ＰＣ虚拟仪器提出了一种新思路；充分利用硬件软化的思想，将仪器的诸多功能集成在软件中实现，利用面向对象、窗口等技术，实现了灵活、通用的虚拟仪器面板功能。 展开更多

关键词 虚拟仪器 虚拟逻辑分析仪 微机 FPGA

在线阅读 下载PDF 职称材料

IEEE std 1364-2001 Verilog标准最新跟踪研究 被引量：1

3

作者 蒋敬旗 刘明业 《中国集成电路》 2002年第3期117-123,共7页

硬件描述语言Verilog于1995年12月12日正式成为IEEE std 1364-1995标准。根据IEEE的规定,每隔5年需要对标准进行修订和投票表决。Verilog标准的修订稿完成于2000年,IEEE最终于2001年3月正式批准为"IEEE std 1364-2001"标准,... 硬件描述语言Verilog于1995年12月12日正式成为IEEE std 1364-1995标准。根据IEEE的规定,每隔5年需要对标准进行修订和投票表决。Verilog标准的修订稿完成于2000年,IEEE最终于2001年3月正式批准为"IEEE std 1364-2001"标准,又称作Verilog-2001标准。 展开更多

关键词 硬件描述语言 设计与应用 功能扩展 数据类型 模拟器 集成电路 新标准 带符号 国家标准 编译指令

在线阅读 下载PDF 职称材料

VHDL高级综合与底层物理设计的衔接 被引量：5

4

作者 马聪 颜宗福 +1 位作者 马卫国 刘明业 《电子学报》 EI CAS CSCD 北大核心 1998年第2期71-73,共3页

本文以ＦＰＧＡ为目标讨论了高级综合与底层物理设计的衔接问题。所构成的系统可实现从ＶＨＤＬ行为级描述到ＦＰＧＡ芯片的自动设计。文中首先分析了实现这种衔接所面临的问题，然后阐明实现的方法并给出若干实例的运行结果。

关键词 高级综合 工艺映射 FPGA VHDL 集成电路 设计

在线阅读 下载PDF 职称材料

嵌入式系统软件模拟及硬件接口设计的快速验证 被引量：2

5

作者 王世好 段志刚 刘明业 《电子与信息学报》 EI CSCD 北大核心 2004年第10期1675-1680,共6页

该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬... 该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。 展开更多

关键词 嵌入式系统 协同模拟 功能验证 模拟器 实时操作系统

在线阅读 下载PDF 职称材料

VHDL语言中循环语句的综合方法 被引量：2

6

作者 谢巍 袁媛 刘明业 《电子学报》 EI CAS CSCD 北大核心 2001年第8期1057-1060,共4页

文中提出一种在RTL综合中实现循环语句综合的方法 .该方法将循环赋值语句从行为描述中提取出来 ,构成循环语句列表从而完成格式判别和综合 ,并且文中对循环语句中使用的next语句、exit语句也给出综合的方法 .

关键词 VHDL语言 循环语句 程序设计语言

在线阅读 下载PDF 职称材料

RTL综合系统设计中时序逻辑综合的实现方法 被引量：1

7

作者 袁媛 谢巍 刘明业 《微电子学与计算机》 CSCD 北大核心 2001年第1期24-29,共6页

时序逻辑综合是 RTL综合系统设计中的一个重要部分。文章系统地论述了时序逻辑综合问题，在分析用户的 RTL描述形式的基础上，以具体算法的形式，提出基本时序逻辑电路描述综合的实现方法，同时对其它一些综合系统中未引用的复杂时序逻... 时序逻辑综合是 RTL综合系统设计中的一个重要部分。文章系统地论述了时序逻辑综合问题，在分析用户的 RTL描述形式的基础上，以具体算法的形式，提出基本时序逻辑电路描述综合的实现方法，同时对其它一些综合系统中未引用的复杂时序逻辑电路也提出了具体的综合实现方法。 展开更多

关键词 RTL综合 时序逻辑综合 综合系统 VHDL 设计

在线阅读 下载PDF 职称材料

集成电路/计算机硬件描述语言标准Verilog的标准化工作 被引量：2

8

作者 蒋敬旗 刁岚松 刘明业 《中国标准化》 2000年第3期8-9,共2页

1前言Ｖｅｒｉｌｏｇ是一种硬件描述语言,从诞生起就与生产实际紧密结合在一起,具有结构清晰、文法简明、功能强大、高速模拟和多库支持等优点,并获得许多工具的支持,深受用户的喜爱。Ｖｅｒｉｌｏｇ实际上是ＩＣ行业标准,特别是在1995... 1前言Ｖｅｒｉｌｏｇ是一种硬件描述语言,从诞生起就与生产实际紧密结合在一起,具有结构清晰、文法简明、功能强大、高速模拟和多库支持等优点,并获得许多工具的支持,深受用户的喜爱。Ｖｅｒｉｌｏｇ实际上是ＩＣ行业标准,特别是在1995年12月被ＩＥＥＥ接纳为正式标准后,... 展开更多

关键词 VERILOG IC行业标准 计算机 硬件描述语言

在线阅读 下载PDF 职称材料

RTL综合中子程序的综合方法

9

作者 袁媛 谢巍 刘明业 《电子学报》 EI CAS CSCD 北大核心 2002年第2期236-239,共4页

本文论述了RTL综合系统中子程序综合方法 ,针对以赋值语句为核心的中间数据结构 ,采取嵌入方式或例示方式进行处理 ,然后进行格式判别、组合逻辑综合及时序逻辑综合 .文章给出具体综合算法 。

关键词 RTL综合 子程序综合 格式判别 组合逻辑 时序逻辑 VHDL 程序设计

在线阅读 下载PDF 职称材料

基于知识(规则)的高层次工艺映射方法

10

作者 马聪 王作建 刘明业 《电子与信息学报》 EI CSCD 北大核心 2001年第5期466-471,共6页

该文研究高级综合结果与后端工艺的衔接问题。提出一种基于知识的高层次工艺映射方法。深入研究其中知识表示、知识运用和知识获取等各个重要环节。包括:(1)提出一种表达电路结构知识的扩充产生式表示;(2)提出基于超高速硬件描述语言(VH... 该文研究高级综合结果与后端工艺的衔接问题。提出一种基于知识的高层次工艺映射方法。深入研究其中知识表示、知识运用和知识获取等各个重要环节。包括:(1)提出一种表达电路结构知识的扩充产生式表示;(2)提出基于超高速硬件描述语言(VHDL)的工艺映射知识获取方法;(3)给出知识运用的求解控制策略和算法;(4)提出一种能查出冗余性和矛盾性的半自动知识库维护方法;(5)提出将算法嵌入知识系统,降低知识库复杂度的实用化方法。所实现的系统已完成与三种工艺衔接,验证了本文工作。 展开更多

关键词 高级综合 工艺映射 超高速硬件描述语言 CAD 知识表示

在线阅读 下载PDF 职称材料

VHDL高级综合中的多目标工艺映射方法

11

作者 马聪 杨勋 刘明业 《电子科学学刊》 CSCD 2000年第1期1-5,共5页

从国内情况看,高级综合系统的目标,即后端CAD版图工具可分为两大类。一类只能接收门级网表;而另一类其单元库较为完备,往往能接收较大颗粒度的宏单元。针对这种情况,本文研究高级综合结果与后端工艺的衔接问题。提出多目标多层次工艺映... 从国内情况看,高级综合系统的目标,即后端CAD版图工具可分为两大类。一类只能接收门级网表;而另一类其单元库较为完备,往往能接收较大颗粒度的宏单元。针对这种情况,本文研究高级综合结果与后端工艺的衔接问题。提出多目标多层次工艺映射(MLTMMT)策略,旨在与多种工艺衔接。解决实现该策略的有关问题:(1)给出多目标工艺映射方法的形式化描述;(2)给出在多个层次上的多目标工艺映射方法;(3)分析研究多种工艺库,提出一种面积和延时的线性模型;(4)给出RTL通用元件集;(5)建立多种工艺VHDL模拟模型。所实现的系统已完成与三种工艺衔接,验证了本文工作。 展开更多

关键词 高级综合 工艺映射 CAD VHDL 综合系统

在线阅读 下载PDF 职称材料

动态内存使用原则及技巧

12

作者 吴清平 刘明业 《兵工自动化》 1999年第3期53-56,共4页

动态内存是指程序在运行过程中从“堆”中申请的内存。由于在使用上的灵活性，使得它在C++编程中常被用到。但也常由于使用不当，导致很多问题。文中给出一些使用动态内存的基本原则和技巧。并在VHDL模拟器优化过程中取得了良好效果。

关键词 动态内存 内存申请 程序设计 模拟器 VHDL模拟器

在线阅读 下载PDF 职称材料

数组划分与快速地址映射算法在存储器高级综合中的应用 被引量：1

13

作者 韩曙 刘明业 《电子学报》 EI CAS CSCD 北大核心 2000年第11期12-15,28,共5页

本文提出一种适合于地址快速映射的数组划分算法 .这个算法具有通用性好 ,算法简单的优点 .由该算法构造的地址映射电路硬件成本低 ,运算速度快 ,地址空间利用率高 ,不仅适用于存储器的高级综合 。

关键词 数组划分 存储器 高级综合 地址映射 算法

在线阅读 下载PDF 职称材料