高级综合中VHDL描述向Petri网转换方法的研究 被引量：3

1

作者 刁岚松 孟晗 +1 位作者 刘明业 杨凯 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第9期1105-1111,共7页

提出一种基于执行路径的Petri网生成算法 ,该算法提取VHDL源描述中的功能和时序信息 ,生成与源描述完全等价的Petri网结构 算法采用条件树结构保存条件 ,语句执行条件和Petri网迁移条件都依据条件树生成 生成的Petri网能够准确地保存... 提出一种基于执行路径的Petri网生成算法 ,该算法提取VHDL源描述中的功能和时序信息 ,生成与源描述完全等价的Petri网结构 算法采用条件树结构保存条件 ,语句执行条件和Petri网迁移条件都依据条件树生成 生成的Petri网能够准确地保存源描述中的I/O时序信息 ,形成调度过程中I/O操作处理的基础 从该结构出发 。 展开更多

关键词 专用集成电路 高级综合 VHDL PETRI网 I/O模式

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

基于ISS和硬件模拟器的协同模拟关键技术研究 被引量：3

3

作者 严迎建 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第4期397-401,共5页

提出一种在嵌入式系统软硬件协调设计中对系统功能进行验证的软硬件协同模拟方法 该方法使用指令集模拟器 (ISS)和事件驱动硬件模拟器分别完成软硬件的模拟 ,并采用C ++语言构造处理器的总线功能模型 ,实现软硬件模拟器的信息交互 重... 提出一种在嵌入式系统软硬件协调设计中对系统功能进行验证的软硬件协同模拟方法 该方法使用指令集模拟器 (ISS)和事件驱动硬件模拟器分别完成软硬件的模拟 ,并采用C ++语言构造处理器的总线功能模型 ,实现软硬件模拟器的信息交互 重点讨论指令集模拟器、总线功能模型以及硬件模拟器协同模拟接口的设计与实现方法 。 展开更多

关键词 协同模拟 指令集模拟器 事件驱动硬件模拟器 协调设计 ISS 嵌入式系统 硬件 软件

在线阅读 下载PDF 职称材料

关系运算的综合及其优化方法研究 被引量：1

4

作者 吴建国 孙元 刘明业 《计算机研究与发展》 EI CSCD 北大核心 1998年第10期941-95,共1页

文中较全面地研究了ＶＨＤＬ等硬件描述语言中关系运算的综合及其优化方法，提出了根据关系运算在描述中的不同情形采取不同综合方法的策略，给出五种实现关系运算的方法——使用标准的比较功能部件；将关系运算转化为算术运算；变元间... 文中较全面地研究了ＶＨＤＬ等硬件描述语言中关系运算的综合及其优化方法，提出了根据关系运算在描述中的不同情形采取不同综合方法的策略，给出五种实现关系运算的方法——使用标准的比较功能部件；将关系运算转化为算术运算；变元间的关系运算变换成逻辑运算；变元与常量间的关系运算变换成逻辑运算；关系运算与算术运算合并综合，及其算法和应满足的条件． 展开更多

关键词 关系运算 综合算法 逻辑综合 电子设计自动化

在线阅读 下载PDF 职称材料

多进程下子程序综合方法研究 被引量：1

5

作者 胡燕翔 孟晗 《计算机工程》 EI CAS CSCD 北大核心 2006年第15期49-51,共3页

子程序的综合方法包括内联扩展、单独的控制单元和数据通道部分和子例程,这些方法都是针对在源描述中只包括单独一个进程时的情况。在多进程的情况下会出现一些问题。给出必须采用子程序内联扩展方法的原则,提出并且实现了将子程序转换... 子程序的综合方法包括内联扩展、单独的控制单元和数据通道部分和子例程,这些方法都是针对在源描述中只包括单独一个进程时的情况。在多进程的情况下会出现一些问题。给出必须采用子程序内联扩展方法的原则,提出并且实现了将子程序转换成临界资源的方法。同时还解决了包含多个return语句的函数的内联扩展实现方法如何在保持语义的同时进行优化的问题。 展开更多

关键词 高级综合 VHDL 子程序 多进程

在线阅读 下载PDF 职称材料

控制流综合子系统的研究与设计 被引量：1

6

作者 吴建国 刘明业 《安徽大学学报（自然科学版）》 CAS 1997年第3期32-38,共7页

本文论述了控制流综合技术的研究内容及研究背景,给出了 VHDL 高级综合系统 HLS/BIT 中控制流综合子系统的设计。该子系统通过 FSM 分解、状态化简、状态分配、组合逻辑划分、两级逻辑化简和多级逻辑综合等步骤完成综合任务,重点解决解... 本文论述了控制流综合技术的研究内容及研究背景,给出了 VHDL 高级综合系统 HLS/BIT 中控制流综合子系统的设计。该子系统通过 FSM 分解、状态化简、状态分配、组合逻辑划分、两级逻辑化简和多级逻辑综合等步骤完成综合任务,重点解决解题范围、优化和正确性问题。该子系统可望完成 RISC SPARC 一类复杂体系结构的计算机和 ASIC 的自动综合任务。 展开更多

关键词 VHDL综合 控制流 有限状态自动机 控制器综合

在线阅读 下载PDF 职称材料

RTL综合中基本时序逻辑元件的综合方法研究

7

作者 袁媛 谢巍 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第9期855-859,共5页

锁存器与触发器的综合是 RTL综合中时序逻辑综合子系统的主要研究问题之一 ,不同的 RTL时序电路描述综合出的元件各不相同 .文中从 VHDL 语言的 RTL 描述特征入手 ,研究了 RTL 综合中锁存器与触发器的综合方法 ,阐述了采用锁存器及触发... 锁存器与触发器的综合是 RTL综合中时序逻辑综合子系统的主要研究问题之一 ,不同的 RTL时序电路描述综合出的元件各不相同 .文中从 VHDL 语言的 RTL 描述特征入手 ,研究了 RTL 综合中锁存器与触发器的综合方法 ,阐述了采用锁存器及触发器的各种不同情况 ,同时说明如何才能正确地区分锁存器及触发器 . 展开更多

关键词 RTL综合 锁存器 触发器 时序逻辑电路 时序逻辑元件

在线阅读 下载PDF 职称材料

Petri网与CDFG相结合的调度模型及其调度技术的研究

8

作者 刁岚松 孟晗 刘明业 《计算机工程与应用》 CSCD 北大核心 2003年第14期51-54,共4页

论文提出一种Petri网与控制数据流图(CDFG)结构相结合的调度模型,以及基于该模型的调度技术。Petri网表示VHDL源描述中的I/O时序信息,Petri网同一个位置结点中的信号赋值都是在同一个时刻进行的。根据每个位置结点中的语句再生成各自的C... 论文提出一种Petri网与控制数据流图(CDFG)结构相结合的调度模型,以及基于该模型的调度技术。Petri网表示VHDL源描述中的I/O时序信息,Petri网同一个位置结点中的信号赋值都是在同一个时刻进行的。根据每个位置结点中的语句再生成各自的CDFG。CDFG中条件的计算显式地表示在数据流部分,便于操作的调度。该CDFG结构上前驱操作和后继操作的判断不但与数据依赖相关,还与操作的条件相关。调度过程中既要考虑直接的数据依赖关系,还要考虑与条件相关的间接依赖关系。传统的调度算法需要经过修改才能应用到该模型上。 展开更多

关键词 VHDL 高级综合 PETRI网 CDFG 调度

在线阅读 下载PDF 职称材料

多级流水线结构高层次VHDL语言行为模型的研究

9

作者 石峰 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1999年第4期320-323,共4页

建立数字系统的高层次ＶＨＤＬ语言行为模型，是应用ＶＨＤＬ语言及自动综合系统以自顶向下的方法进行大规模集成电路设计的基础．以ＲＩＳＣＳＰＡＲＣＭＢ８６９０１为例，讨论建立多级复杂流水线结构的ＶＨＤＬ语言高层次行为模型的... 建立数字系统的高层次ＶＨＤＬ语言行为模型，是应用ＶＨＤＬ语言及自动综合系统以自顶向下的方法进行大规模集成电路设计的基础．以ＲＩＳＣＳＰＡＲＣＭＢ８６９０１为例，讨论建立多级复杂流水线结构的ＶＨＤＬ语言高层次行为模型的方法，同时对相关问题进行分析． 展开更多

关键词 多级流水线 LSI VHDL语言 行为模型

在线阅读 下载PDF 职称材料

实用化逻辑图快速显示及部分图形管理关键技术的研究 被引量：2

10

作者 刘沁楠 吴清平 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第6期490-494,共5页

提出了三级图形缓冲显示技术 ,不仅有效地解决了大规模逻辑图的快速显示问题 ,而且保证了图形滚动的连续性 ;还论述了部分图形管理功能的实现方法 ,针对逻辑图的特点 ,提出了将矢量存储与逻辑符号图形库相结合的存储策略 ,解决了逻辑图... 提出了三级图形缓冲显示技术 ,不仅有效地解决了大规模逻辑图的快速显示问题 ,而且保证了图形滚动的连续性 ;还论述了部分图形管理功能的实现方法 ,针对逻辑图的特点 ,提出了将矢量存储与逻辑符号图形库相结合的存储策略 ,解决了逻辑图存储中占用空间大、不易存彩色等问题 . 展开更多

关键词 逻辑图 快速显示 电子设计自动化 专用集成电路 图形管理

在线阅读 下载PDF 职称材料

多维数组地址生成算法研究 被引量：3

11

作者 韩曙 刘明业 《计算机学报》 EI CSCD 北大核心 2000年第7期756-762,共7页

高级综合系统对行为级描述中的数组元素通常用相应的存储器结构实现 .行为级描述中通过数组下标对数组元素进行操作 ,而存储器的操作要通过存储单元地址来实现 ,因此需要将数组元素的下标转换成对应的存储单元的地址 .该文提出一种基于... 高级综合系统对行为级描述中的数组元素通常用相应的存储器结构实现 .行为级描述中通过数组下标对数组元素进行操作 ,而存储器的操作要通过存储单元地址来实现 ,因此需要将数组元素的下标转换成对应的存储单元的地址 .该文提出一种基于普通逻辑运算的多维数组地址生成算法 ,该算法克服了传统的地址生成算法使用加法器和乘法器等算术运算导致的电路结构复杂、速度低等缺点 ,可有效地应用于支持存储器高级综合的系统中 . 展开更多

关键词 多维数组 存储器 高级综合 地址生成算法

在线阅读 下载PDF 职称材料

高层次综合的实用化逻辑图自动生成关键技术的研究 被引量：1

12

作者 刘沁楠 刘明业 《计算机学报》 EI CSCD 北大核心 2001年第4期420-429,共10页

研究的逻辑图自动生成系统是“九五”微电子重点科技预研项目的成果“实用化专用集成电路高层次自动化设计系统—— Talent系统”的子系统 ,该系统通过对电路网表有效的识别与划分、逻辑单元的布局及互连信号线的布线等 ,自动生成具有... 研究的逻辑图自动生成系统是“九五”微电子重点科技预研项目的成果“实用化专用集成电路高层次自动化设计系统—— Talent系统”的子系统 ,该系统通过对电路网表有效的识别与划分、逻辑单元的布局及互连信号线的布线等 ,自动生成具有一定逻辑功能且布局美观规范的逻辑原理图 .该文重点研究逻辑图自动生成实用化过程中的关键技术 ,将人工智能基于规则的知识表示与形式化算法相结合 ,提出有效的自动布局方法 ;应用模式识别理论和方法解决逻辑图的自动布线问题 ,提出基于决策树的通道分配方法 ,并设计一套完整的规则体系 ;进而 ,文中给出详细的划分模型 ,并在此基础上 ,结合逻辑原理图的特点实现了两种有效的划分算法 :(1)种子生成的构造式划分算法 ;(2 )迭代改进划分算法 .其中算法 (1)的设计思想主要源于贪婪构造 ,而算法 (2 )则对经典的最小分割划分算法 Kernighan- L in算法进行改进 .基于上述研究实现的逻辑图自动生成系统 ,能够在很短的时间内生成美观规范、可读性好的逻辑图 ,为整个系统实用化做出了贡献 . 展开更多

关键词 高层次综合 逻辑图自动生成系统 人工智能 专用集成电路 ASIC

在线阅读 下载PDF 职称材料

MB86901 SPARC RISC芯片全机行为功能级模拟策略的研究 被引量：1

13

作者 聂铭洲 叶梅龙 《计算机辅助设计与图形学学报》 EI CSCD 1993年第4期284-291,共8页

本文提出了一种基于指令系统的MB86901 SPARC RISC芯片的行为功能级测试方法。和[2]中的方法相比,由于DCL语言自身的特点,本文给出的方法有着简洁且故障覆益率高的特色。文章扼要地介绍了MB86901的指令系统,然后按照先测试寄存器,再逐... 本文提出了一种基于指令系统的MB86901 SPARC RISC芯片的行为功能级测试方法。和[2]中的方法相比,由于DCL语言自身的特点,本文给出的方法有着简洁且故障覆益率高的特色。文章扼要地介绍了MB86901的指令系统,然后按照先测试寄存器,再逐条测试单个指令,最后测试指令间关系的逻辑顺序逐步对MB86901进行测试。对于寄存器的测试,我们采用了“雨点法”,使得寄存器故障覆盖率接近100％,在最常用的算术/逻辑/移位指令的测试中,我们使用了一个随机数发生器,使故障覆盖率大为提高。而且它的使用非常灵活。最后,我们测试了指令间可能出现的关系。 展开更多

关键词 微处理器 芯片 功能级 模拟

在线阅读 下载PDF 职称材料

采用单元库嵌入方式提高VHDL模拟器速度的研究

14

作者 陈东瑛 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第7期586-589,共4页

基于实际的高级综合系统 ,研究了提高大规模 VHDL设计的模拟验证速度的方法 .通过对多种模拟算法的分析比较和对系统原有模拟机制与算法的研究 ,提出了将该系统的单元库嵌入模拟核心的方法 .该方法的实现显著地提高 VHDL 模拟器对大规... 基于实际的高级综合系统 ,研究了提高大规模 VHDL设计的模拟验证速度的方法 .通过对多种模拟算法的分析比较和对系统原有模拟机制与算法的研究 ,提出了将该系统的单元库嵌入模拟核心的方法 .该方法的实现显著地提高 VHDL 模拟器对大规模设计的模拟速度达 2— 4倍 。 展开更多

关键词 专用集成电路 单元库 嵌入方式 VHDL模拟器

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

VHDL高级综合系统设计中某些关键问题的技术决策 被引量：13

16

作者 刘明业 张东晓 许庆平 《计算机学报》 EI CSCD 北大核心 1997年第6期501-509,共9页

本文的研究实现了从电路系统行为（含算法及功能）的ＶＨＤＬ描述到ＲＴＬ和逻辑结构级描述的高级综合，并针对ＸｉｌｉｎｘＦＰＧＡ文件库映射成工艺相关的ＡＳＩＣ，直至生成ＦＰＧＡ的器件．整个系统包括七个部分，本文重点讨论每个... 本文的研究实现了从电路系统行为（含算法及功能）的ＶＨＤＬ描述到ＲＴＬ和逻辑结构级描述的高级综合，并针对ＸｉｌｉｎｘＦＰＧＡ文件库映射成工艺相关的ＡＳＩＣ，直至生成ＦＰＧＡ的器件．整个系统包括七个部分，本文重点讨论每个部分的技术决策以及在ＳＵＮＳＰＡＲＣ２上实现的运行结果． 展开更多

关键词 高级综合 VHDL 数据流 控制流 工艺映射 ASIC

在线阅读 下载PDF 职称材料

嵌入式系统软硬件协调设计环境构造与实现方法 被引量：6

17

作者 王世好 严迎建 吴清平 《计算机工程与应用》 CSCD 北大核心 2002年第16期223-225,共3页

文章研究嵌入式系统协调设计方法,重点讨论一个完整的嵌入式系统协调设计环境———BitCoDesign构造,把嵌入式系统设计分解为系统功能描述和划分阶段、软硬件设计阶段、协同模拟阶段和软硬件综合阶段。具体阐述各设计阶段功能的实现方法... 文章研究嵌入式系统协调设计方法,重点讨论一个完整的嵌入式系统协调设计环境———BitCoDesign构造,把嵌入式系统设计分解为系统功能描述和划分阶段、软硬件设计阶段、协同模拟阶段和软硬件综合阶段。具体阐述各设计阶段功能的实现方法,使嵌入式系统在设计初期,通过协同模拟手段验证系统的设计正确性,避免设计反复,降低开发成本。 展开更多

关键词 嵌入式系统 协调设计 指令集模拟器 软件 硬件 大规模集成电路

在线阅读 下载PDF 职称材料

RTL综合中的格式判别 被引量：3

18

作者 谢巍 袁媛 +1 位作者 张东晓 刘明业 《计算机学报》 EI CSCD 北大核心 2001年第1期99-105,共7页

由于寄存器传输级 (RTL)行为描述可以精确地确定数字系统的操作 ,所以寄存器传输级综合成为当前EDA行业的主流设计方法 .实现从寄存器传输级行为描述到门级结构描述转换的 RTL 综合 ,是组合逻辑 /时序逻辑综合理论在 HDL(硬件描述语言 ... 由于寄存器传输级 (RTL)行为描述可以精确地确定数字系统的操作 ,所以寄存器传输级综合成为当前EDA行业的主流设计方法 .实现从寄存器传输级行为描述到门级结构描述转换的 RTL 综合 ,是组合逻辑 /时序逻辑综合理论在 HDL(硬件描述语言 )上的具体应用 .设计寄存器传输级综合工具的基础是格式判别 ,即将行为描述中的组合逻辑与时序逻辑区分开来 ,利用组合逻辑综合与时序逻辑综合分别进行处理从而完成寄存器传输级综合 .在分析和总结寄存器传输级行为描述规律以及逻辑综合局限性的基础上 ,论述格式判别的必要性、可行性、有效性 ,提出一种易于实现的格式判别方法 .该方法利用赋值语句为核心的中间数据格式以及逻辑综合所能接受的内部格式 (多维体 ) ,将复杂的寄存器传输级行为描述分解为各个赋值语句组 ,根据赋值语句组中的各条赋值语句的条件判断此赋值语句组是组合逻辑还是时序逻辑 ,并生成不同层次、功能相对独立的 RT单元以便利用对应的组合逻辑综合或时序逻辑综合处理此 RT单元 ,从而在实现 RTL 综合的过程中使组合逻辑综合和时序逻辑综合得到最大限度的重用 .最后文中给出一些测试实例和结果分析 .通过测试实例和结果分析表明该文提出的方法不但有效地区分了组合逻辑和时序逻辑 ,而且由于通过对组合? 展开更多

关键词 RTL综合 格式判别 时序逻辑 ASIC 专用集成电路

在线阅读 下载PDF 职称材料

运用Freeman准则的直线检测算法 被引量：19

19

作者 尚振宏 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第1期49-53,共5页

提出了一种简单而高效的在二值图像中检测目标物体直线边界的算法 基于Freeman提出的关于数字直线的准则和数字直线的特征 ,得出线段元是数字直线的组成部分这一性质 基于该性质 ,该算法以线段元为基本单位进行直线的构造 ,从而能高效... 提出了一种简单而高效的在二值图像中检测目标物体直线边界的算法 基于Freeman提出的关于数字直线的准则和数字直线的特征 ,得出线段元是数字直线的组成部分这一性质 基于该性质 ,该算法以线段元为基本单位进行直线的构造 ,从而能高效、准确地检测出图像中物体边界中的直线 此外 。 展开更多

关键词 直线检测 边界跟踪 链码

在线阅读 下载PDF 职称材料

VHDL编译型事件驱动模拟算法 被引量：9

20

作者 吴清平 刘明业 《计算机学报》 EI CSCD 北大核心 2002年第1期30-35,共6页

VHDL模拟器在 VL SI高层设计验证中起着重要的作用 ,设计正确性的快速有效检查对加快整个设计流程至关重要 ,模拟算法从根本上决定了模拟验证的效率 ,是构造高效模拟器的关键 .文中讨论了 VHDL的各种不同模拟算法 ,提出了将编译型实现... VHDL模拟器在 VL SI高层设计验证中起着重要的作用 ,设计正确性的快速有效检查对加快整个设计流程至关重要 ,模拟算法从根本上决定了模拟验证的效率 ,是构造高效模拟器的关键 .文中讨论了 VHDL的各种不同模拟算法 ,提出了将编译型实现算法与事件驱动调度算法结合的模拟算法 ,并提出了将 VHDL 设计源描述转化为等价 C++代码再编译为机器目标代码的模拟算法实现方法 .此算法结合了事件驱动调度算法的模拟元件数少和编译型实现算法执行速度高的优点 ,并巧妙利用了面向对象的多态性特点 ,具有速度快、直观和易于扩充的优点 .文章最后给出了试验结果 。 展开更多

关键词 VHDL 事件驱动 编译型 模拟算法 超大规模集成电路

在线阅读 下载PDF 职称材料