片上系统设计的通信轨迹模型综合
信息检索
2021-02-16 v1 系统与控制
系统与控制
摘要
系统级行为的简洁抽象模型在设计分析、测试与验证中极具价值。本文考虑从片上系统（SoC）设计的通信轨迹推断模型的问题。这些轨迹以交换的消息刻画 SoC 设计不同模块间的通信。提取的模型刻画了支配模块如何交换消息并相互协调以实现各种系统功能的系统级通信协议。本文将上述问题表述为约束满足问题，随后输入 SMT 求解器。SMT 求解器返回的解用于提取接受输入轨迹的模型。在实验中，我们使用从多核 SoC 设计的事务级仿真模型收集的轨迹以及 GEM5 环境中开发的更详细多核 SoC 设计的轨迹来展示所提方法。
引用
@article{arxiv.2102.06989,
title = {Model Synthesis for Communication Traces of System-on-Chip Designs},
author = {Hao Zheng and Md Rubel Ahmed and Parijat Mukherjee and Mahesh C. Ketkar and Jin Yang},
journal= {arXiv preprint arXiv:2102.06989},
year = {2021}
}