论文标题
从芯片执行轨迹中的采矿消息流。
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.
