Mining Patterns From Concurrent Execution Traces

This article proposes a specification mining framework, FlowMiner , that automatically mines patterns from highly concurrent communication traces for system-on-chip (SoC) designs. It addresses the problem of the lack of comprehensive, accurate, and up-to-date specifications necessary to perform rigo...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on computer-aided design of integrated circuits and systems 2022-08, Vol.41 (8), p.2758-2762
Main Authors: Ahmed, Md Rubel, Zheng, Hao, Mukherjee, Parijat, Ketkar, Mahesh C., Yang, Jin
Format: Article
Language:English
Subjects:
Communications systems
Complexity
Data mining
Message flows
Micromechanical devices
Optimization
Protocols
Runtime
Software
specification mining
Specifications
System on chip
system-on-chip (SoC)
validation
Visualization
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This article proposes a specification mining framework, FlowMiner , that automatically mines patterns from highly concurrent communication traces for system-on-chip (SoC) designs. It addresses the problem of the lack of comprehensive, accurate, and up-to-date specifications necessary to perform rigorous and thorough validation of complex SoC designs. The extracted patterns characterize how components of an SoC design communicate and coordinate with each other to realize various system functions. In FlowMiner , a set of inference rules and optimization techniques are presented to reduce mining complexity. Evaluation of this framework in several experiments shows promising results.
ISSN:0278-0070
1937-4151
DOI:10.1109/TCAD.2021.3109513