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

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

作者机构：北京理工大学ASIC研究所北京100081 

基　　金：国防"十五"微电子预研项目 ( 0 2 413 0 80 10 40 8)资助 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2003年第15卷第9期

页      码：1105-1111页

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

主 题 词：专用集成电路 高级综合 VHDL Petri网 I/O模式 

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.2003.09.012

馆 藏 号：203198171...