自动模型：通过SoC设计的通信跟踪自动合成模型
摘要：从分析、测试和验证的角度来看，对于复杂的片上系统（SoC）设计，建模系统级行为至关重要。然而，SoC的追踪复杂性和数量都给这个任务带来了重大挑战。本文提出了一种方法，可以从SoC通信追踪中自动推断出简洁而抽象的模型，捕捉设计块之间用于各种系统功能的消息交换和协调的系统级协议。这种方法被称为模型综合，它根据SoC追踪获得的注解构建一个因果关系图。带注释的因果关系图表示了所考虑的所有消息之间的潜在因果关系。然后，从因果关系图中制定一个约束满足问题，并通过可满足性模理论求解器来找到满足的解。最后，从生成的解中提取有限状态模型，可用于解释和理解输入的追踪。该提议的方法通过使用从模拟多核SoC设计的事务级模型获得的合成追踪和从模型化为gem5的实际多核SoC上运行的真实程序获得的追踪进行验证。
作者：Md Rubel Ahmed, Bardia Nadimi, Hao Zheng
论文ID：2308.03523
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-08