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