RTL综合中VHDL算术操作符的综合

寄存器传输级（RTL）综合实现人RTL行为描述到门级级结构描述的转换，是目前EDA设计行业的主流设计方法，算术操作符是RTL综合中难于综合的一类操作符，文中详细解释了IEEE制定的有关算术操作符的各种限制，并对部分算术操作符的限制阐述了自己的观点；分析了各算术操作符的实现方案，并基于电路面积、电路速度，确定了适合RTL综合的实现方案；最后，给出在自己开发的RTL综合工具中进行的算术操作符综合测试，测试表明，所用的各种算术操作符实现方案具有良好的可行性和有效性。     

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

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

DEDS对象化高级Petri网模型研究--对象化高级Petri网上的一致性网络

针对对象化高级Petri网缺乏标识的状态空间度量,采用谓词集对各位置上的可达标识进行完全划分,形成与加色网等价的一致性网络.原网络的语言是其任何一个一致性网络语言的子集,因而可以用加色网来定义及分析对象化高级Petri网的各种不变量.     

基于Petri网的并行控制器的VHDL实现

Petri网是离散事件系统建模的重要工具,本文使用硬件描述语言VHDL实现了基于Petri网的并行控制器。文中通过一个液位控制系统实例具体介绍了这一方法,并通过仿真波形证明了该方法的正确性。这对于离散事件系统并行控制器的设计具有十分重要的意义。     

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

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

VHDL语言高级综合子集的确立及其实现方法

越来越多的高级综合系统采用或接受ＶＨＤＬ语言作为设计输入，但ＶＨＤＬ语言的语义本质是基于模拟而非基于高级综合的，许多语法现象不能或不适于进行综合。本文系统地分析了ＶＨＤＬ语言的可综合性问题，详细讨论了ＶＨＤＬ语言的各种语法现象的可综合性，并结合实际系统分析了ＶＨＤＬ语言高级综合子集的确立及实现方法。     

基于Petri网的数字系统建模和VHDL实现

基于Petri网的数字系统的建模及其硬件实现方法已经得到了广泛的研究,然而现有的方法主要适用于同步电路,由此提出了一种基于Petri网的数字系统建模和VHDL实现的新方法。首先定义了一种广义同步自控网系统,解决了数字系统的Petri网建模问题。基于一种带优先级的多输入多时钟D触发器,设计了对应的软IP核,进而探讨了广义同步自控网系统模型到VHDL代码的具体转换方法。设计的CAD工具支持数字系统的建模、功能分析与代码转换功能。通过设计示例表明了所述方法和相关工具的有效性。     

基于高级Petri网的OSI网络协议描述与验证

本文对ＯＳＩ参考模型进行了全面的分析，并介绍了一种高级Ｐｅｔｒｉ网，称为ＥＰｒ／Ｔ网系统，该系统可作为ＯＳＩ网络协议的形式描述工具，然后，利用ＥＰｒ／Ｔ网系统对（Ｎ）层通信协议进行了形式描述，并阐明了ＯＳＩ网络协议形式描述的一般方法。最后，对协议的有界性、活性和回归性等性质进行了验证。     

基于VHDL的Petri网系统的FPGA实现

在EDA软件Max Plus Ⅱ中,采用VHDL语言,几种Petri网系统的硬件实现方法,包括同步PN、时延PN及高级网系统有色PN,可以实现从系统的Petri网模型直接获得相应的逻辑电路;并分别给出实例,绘制系统电路图,仿真结果证明了Petri网元件设计的正确性.     

Petri网到VHDL的翻译器设计与实现

研究了如何用CONPAR语言对Petri网图形进行描述,来获得Petri网模型对应的等效文本文件;然后设计了由Petri网文本文件到VHDL转换的文法规则及对应的语义动作源文件,并由编译工具YACC自动生成Petri网到VHDL转换的语法分析器;语法分析生成的中间代码是一棵抽象语法树,可以自顶向下遍历此抽象语法树,并按照相应的语义规则,通过比较Petri网文本描述和VHDL代码的差别生成VHDL目标代码;由此实现了Petri网到VHDL的翻译器,为基于Petri网的并行控制器的自动硬件实现提供了一种快速有效的方法。     

一种求解与/或树的Petri网方法

研究了用Petri网求解人工智能中与/或树的问题,提出了一种把与/或树转换成相应的Petri网,并通过其逆网求得原与/或树的解树的方法,可进而利用模糊Petri网的推理得到与/或树的最优解树。该方法直观高效,拓宽了Petri网的应用领域。     

基于高级Pet r i 网的BPR 过程建模与仿真

针对BPR实施中的过程优化问题,从实用、可行的角度探索基于高级Petri网的模型,运用计算机仿真手段确定BPR方案,首先介绍并细化化基于高级Petri网的面向BPR的流程模型（BPR-PN）,然后设计并探讨自顶而下的BPR流程建模方法与步骤,最后探讨了基于BPR-PN的流程仿真方法、仿真过程管理及仿真数据分析。     

Web服务组合的层次颜色Petri网描述模型

针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。     

使用控制授权模型的Petri网描述

使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。该文定义了使用前授权过程和使用中授权过程的策略规则,采用Petri网进行了表达,分析了Petri网模型能够表达授权控制模型的使用授权策略,给出了使用控制授权模型的有色Petri网表示。     

着色Petri网对高性能集群的建模与性能评估

针对形式化建模方法导致的状态空间爆炸问题,提出了一种基于Petri网的高性能集群建模与性能评估方法.首先分析了高性能集群的系统架构,构建了模型的总体结构;然后针对集群系统建立了相应的任务产生子模型和调度子模型,并通过对Petri网进行着色,根据不同种类任务的执行特点设计了相应的任务处理模型.仿真结果表明,利用所建立的模型能够有效评估关键参数对集群性能的影响.     

Petri网的进程网系统

提出了Petri网的进程系统的概念，一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的网系统，它可以很好的地描述原网系统的进程行为，文中讨论了求取任意Petri网的基本进程段的算法，该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的，文中还给出了通过网结构来描述各个基本进程段之间关系的方法，从而求出一Petri网的进程网系统。     

基于高级Petri网的流程建模支持系统设计、开发与应用

流程建模是支持企业流程重组（ＢＰＲ）的关键技术之一,文章探讨一种基于高级Ｐｅｔｒｉ网模型的流程建模支持系统。在简要介绍支持ＢＰＲ的高级Ｐｅｔｒｉ网模型的基础上,首先从功能、结构及软件硬件配置方面进行系统设计,继分别探讨系统开发的屏幕布局、建模初始化与模型编辑、模型层次管理及数据的存储与表达等问题。最后,选择某高校典型事务流程,用自行开发的建模支持系统进行了建模实例研究。