基于FPGA的有色Petri网仿真系统设计
Design of Colored Petri Net Simulation System Based on FPGA作者机构:山东科技大学电子信息工程学院山东青岛266590
出 版 物:《电子器件》 (Chinese Journal of Electron Devices)
年 卷 期:2021年第44卷第1期
页 面:236-241页
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:山东省自然科学基金联合基金项目(ZR2019ZLH001) 山东省重点研发计划项目(2019GGX101066) 山东省高等学校青创科技计划项目(2019KJN024,2019KJN020)。
主 题:有色Petri网 自动生成工具 FPGA Verilog HDL 仿真系统
摘 要:为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统。该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具。通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于Quartus的自动脚本。以通信中包传输的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。