AutoModel：从 SoC 设计通信迹自动合成模型
计算机科学中的逻辑
2024-02-29 v1
摘要
对复杂片上系统（SoC）设计的系统级行为建模对于设计分析、测试和验证至关重要。然而，SoC 迹的复杂性和规模给该任务带来了重大挑战。本文提出一种从 SoC 通信迹自动推断简洁抽象模型的方法，捕获支配各设计模块间为各种系统功能进行消息交换与协调的系统级协议。该方法称为模型合成，从 SoC 迹构建带标注的因果图。带标注的因果图表示所考虑消息间所有潜在的因果关系。接下来，从因果图形式化一个约束满足问题，然后通过可满足性模理论（SMT）求解器求解以找到满足解。最后，从生成的解中提取有限状态模型，可用于解释和理解输入迹。所提方法通过使用从多核 SoC 设计的事务级模型仿真获得的合成迹以及从在 gem5 建模的真实多核 SoC 上运行真实程序收集的迹进行实验得到验证。
引用
@article{arxiv.2308.03523,
title = {AutoModel: Automatic Synthesis of Models from Communication Traces of SoC Designs},
author = {Md Rubel Ahmed and Bardia Nadimi and Hao Zheng},
journal= {arXiv preprint arXiv:2308.03523},
year = {2024}
}
备注
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2024