高级综合中VHDL描述向Petri网转换方法的研究
Translation of VHDL Description to Petri Net in High Level Synthesis
-
摘要: 提出一种基于执行路径的Petri网生成算法,该算法提取VHDL源描述中的功能和时序信息,生成与源描述完全等价的Petri网结构.算法采用条件树结构保存条件,语句执行条件和Petri网迁移条件都依据条件树生成.生成的Petri网能够准确地保存源描述中的I/O时序信息,形成调度过程中I/O操作处理的基础.从该结构出发,能够方便地实现各种I/O模式的调度.Abstract: This paper puts forward a Petri net generation algorithm based on execution paths. The algorithm extracts all functions and timing information from the VHDL description and generates Petri net as an intermediate representation identical to the VHDL description. A condition tree is used to store various conditions in a structured way. The executing conditions of all statements and transition conditions in Petri net are generated directly from the condition tree. The generated Petri net stores precisely the I/O timing information in VHDL description to guide the scheduling of I/O operation process. Based on Petri net, various I/O scheduling modes can be readily implemented.
下载: