关键词: 静态数据流图，执行语义，性能分析模型，性能评价函数

Abstract: 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.

Key words: Static data flow structure, Execution semantics, Performance analysis model, Performance evaluation function