图上交易的SystemC分析及验证  

作　　者：郑燕[1] 

机构地区：[1]重庆工业职业技术学院

出　　处：《休闲》2020年第21期0279-0280,共2页

摘　　要：针对网络的静态和动态行为提出使用图上交易 (ToG,TransactiononGraphs) 方法进行分析和验证。该方法从图的角度出 发,在交易级构建整个片上网络模型并使其最终成为可交易的图,在该图上可以使用图论算法和交易级建模 (TLM) 技术分别对网 络进行静态和动态验证。给出了一个具有典型 2Dmesh 结构的片上网络实例并加以分析,以此为例探讨了基于 SystemC 的图上交 易两种不同实现方法,最后通过对 ToG 的静态验证和复用问题的实现证明了基于图的片上网络交易级分析与验证的一系列优点。

关 键 词：图上交易 交易级建模 SYSTEMC 

分 类 号：G[文化科学]