基于Petri网的ASIP体系结构形式化建模方法研究

摘要

根据SOC(System on Chip)的软硬件协同设计的需求,针对ASIP体系结构空间搜索(DSE,Design Space Exploration)问题,考虑复杂的流水线结构,提出了一种扩展的时序Petri网模型--PNP模型,该模型可以以简洁直观的形式精确有效地描述目标体系结构.文中给出了PNP模型的确切定义,并通过对一个流水化的体系结构进行形式化建模的实例展示了该模型的有效性.