基于Petri Nets的ASIP流水线研究

摘要

探讨了将CPU中流水线用PetriNets模型进行描述设计的一种方法,为了分析验证PetriNets流水线模型描述的正确与否,搭建了一个用verilog语言实现的模型CPU运行环境,该CPU的CU单元用PetriNets描述,对其做了仿真验证,对这项研究的可行性进行了验证,为以后进一步研究提出了一个可行的指导思想.