摘要: |
为了实现大规模有色Petri网模型的性能测试,设计了基于FPGA的高速仿真系统,该系统实现了库所、变迁模块到硬件结构的映射,采用C语言实现了有色Petri网的硬件自动生成工具,通过分析有色Petri网的特征,该工具生成对应的Verilog代码和基于 Quartus的自动脚本? 以通信中“包传输”的模型为例,在FPGA中对生成的代码进行测试,验证了设计的正确性。 |
关键词: 有色Petri网、自动生成工具、FPGA、Verilog HDL、仿真系统 |
DOI: |
|
基金项目:山东省自然科学基金联合基金项目(ZR2019ZLH001)、山东省重点研发计划项目(2019GGX101066)、山东省高等学校青创科技计划项目(2019KJN024、2019KJN020) |
|
|
|
() |
Abstract: |
|
Key words: |