高级综合中VHDL描述向Petri网转换方法的研究

摘要：

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

关键词： VHDL 高级综合 Petri网 条件树 I/O调度模式

作者: 刁岚松 孟晗 刘明业 杨凯

作者单位: 北京理工大学ASIC研究所(北京)

会议类型: 国内会议

会议名称: 企业信息化高级论坛全国第12届CAD/CG学术会议

会议地点: 贵阳

会议语种:中文

页码: 250-256

在线出版日期: 2002-08-20（万方平台首次上网日期，不代表论文的发表时间）