基于Petri Nets 的ASIP 流水线研究

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