从片上系统执行轨迹中挖掘消息流
Mining Message Flows from System-on-Chip Execution Traces
摘要：
全面且定义明确的规范是对片上系统（SoC）设计进行严格和彻底验证所必需的。消息流指定SoC设计的组件如何相互通信和协调以实现各种系统功能。消息流规范对于SoC设计的有效系统级验证和调试至关重要。然而，在实践中，这样的规范通常是不可用的，往往是模糊的，不完整的，甚至包含错误。本文解决了这个问题，提出了一个规范挖掘框架，FlowMiner，自动提取消息流从SoC执行的痕迹，这与软件的痕迹，显示出高度的并发性。提出了一套推理规则和优化技术，以提高挖掘性能，降低挖掘复杂度。在几个实验中，这个框架的评估显示出可喜的成果。
英文摘要：
Comprehensive and well-defined specifications are necessary to perform rigorous and thorough validation of system-on-chip (SoC) designs. Message flows specify how components of an SoC design communicate and coordinate with each other to realize various system functions. Message flow specifications are essential for efficient system-level validation and debug for SoC designs. However, in practice such specifications are usually not available, often ambiguous, incomplete, or even contain errors. This paper addresses that problem by proposing a specification mining framework, FlowMiner, that automatically extracts message flows from SoC execution traces, which, unlike software traces, show a high degree of concurrency. A set of inference rules and optimization techniques are presented to improve mining performance and reduce mining complexity. Evaluation of this framework in several experiments shows promising results.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
