Mining Message Flows from System-on-Chip Execution Traces
MD Rubel Ahmed, Hao Zheng, Parijat Mukherjee, Mahesh C. Ketkar, Jin, Yang

TL;DR
This paper introduces FlowMiner, a framework that automatically extracts message flow specifications from complex SoC execution traces, aiding validation and debugging of system-on-chip designs.
Contribution
FlowMiner is the first framework to automatically mine message flows from concurrent SoC execution traces, improving validation efficiency.
Findings
Successfully extracted message flows from real SoC traces
Reduced complexity with inference rules and optimization techniques
Demonstrated promising results in experimental evaluations
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Software Testing and Debugging Techniques · Software Reliability and Analysis Research
