论文部分内容阅读
静态数据流图是异步电路的一种抽象模型，具有灵活性高、易于理解的优点。基于静态数据流图的一种形式化的执行语义，提出了一种适合于性能分析的静态数据流图的Petri网模型，并基于该模型提出了一种性能评价方法。该方法具有速度快、灵活性高的优点，特别适合大规模畀步电路设计早期的性能分析。该模型比静态数据流图的传统Petri网模型在规模上小一倍，而且避免了引入非标准的read-arc。通过实验，该模型和性能评价方法的有效性得到了充分的验证。