异步电路的静态数据流图模型及其性能分析

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

Performance Evaluation Method for Asynchronous Circuit Based on Static Data Flow Structure

The Static Data Flow Structure (SDFS) is an abstract model of asynchronous circuits,which is very flexible and understandable. A Petri net model which is used for performance analysis was introduced. And a fast performance cvaluation method was also introduced, which is very suitable for the very large scale asynchronous circuit design. The size of this model is just half of the traditional Petri-net model for the asynchronous circuits, and the read-are which was introduced in the previous Petri-net model was eliminated in this model. At last, several experiments were presented to prove the validity of this model.