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

摘要：

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

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

所属期刊栏目：36

分类号：TN9;TP3

资助基金：国家"八六三"高技术研究发展计划基金项目2007AA012101;国家自然科学基金60773024

在线出版日期：2010-03-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：231-234