[发明专利]一种基于Petri网的异步电路建模和VHDL实现方法有效
| 申请号： | 201410537655.2 | 申请日： | 2014-10-13 |
| 公开（公告）号： | CN104298827B | 公开（公告）日： | 2017-06-27 |
| 发明（设计）人： | 万军;赵不贿 | 申请（专利权）人： | 江苏大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 212013 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于Petri网的异步电路建模和VHDL实现方法，包括以下步骤对普通Petri网进行扩展，定义广义同步自控P/T系统；根据用户需求，创建待描述的数字系统的广义同步自控P/T系统模型；对已建立的广义同步自控P/T系统模型进行功能分析；对已建立的系统模型进行VHDL代码自动转换；对转换后生成的VHDL代码进行系统仿真。本发明提出的方法适合于异步电路的建模和VHDL实现。本发明可以降低开发成本，减少设计人员的工作量，增加可靠性，提高开发速度。 | ||
| 搜索关键词： | 一种 基于 petri 异步 电路 建模 vhdl 实现 方法 | ||
【主权项】：
基于Petri网的异步电路建模和VHDL实现方法，其特征在于，包括以下步骤：步骤1，对普通Petri网进行扩展，定义广义同步自控P/T系统；步骤2，根据用户需求，创建待描述的数字系统的广义同步自控P/T系统模型；步骤3，对已建立的广义同步自控P/T系统模型进行功能分析；所述的步骤3具体包括：步骤3.1，从步骤2所建立的GSCPT模型中包含的信号的波形文件中提取并记录外部事件信息，按时序关系存于外部事件列表中，波形文件可利用EDA设计软件建立；步骤3.2，基于状态方程构造模型的可达标识集，可达标识集采用链表结构存储，分析模型标识的演化情况；步骤4，对已建立的系统模型进行VHDL代码自动转换；步骤5，对转换后生成的VHDL代码进行系统仿真。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于江苏大学，未经江苏大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410537655.2/，转载请声明来源钻瓜专利网。
