Mining Patterns From Concurrent Execution Traces

Md Rubel Ahmed,Hao Zheng,Parijat Mukherjee,Mahesh C. Ketkar,Jin Yang

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems（2022）

引用 1|浏览15

暂无评分

摘要

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.

查看译文

关键词

Message flows,specification mining,system-on-chip (SoC),validation

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要