Presentation
AutoFlow: Inferring Message Flows From System Communication Traces
DescriptionThis paper proposes a novel method for automatically inferring message flow specifications from the communication traces of a system-on-chip (SoC) design that captures messages exchanged among the components during a system execution.
The inferred message flows characterize the communication and coordination of components in a system design for realizing various system functions, and they are essential for SoC validation and debugging.
The proposed method relieves the burden of manual development and maintenance of such specifications on human designers.
Our method also develops a new accuracy metric, acceptance ratio, to evaluate the quality of the mined specifications instead of the specification size often used in the previous work, enabling more accurate specifications to be mined.
The effectiveness of the proposed method is evaluated on both synthetic traces and traces generated from executing several system models in GEM5.
In both cases, the proposed method achieves superior accuracies compared to a previous approach.
The inferred message flows characterize the communication and coordination of components in a system design for realizing various system functions, and they are essential for SoC validation and debugging.
The proposed method relieves the burden of manual development and maintenance of such specifications on human designers.
Our method also develops a new accuracy metric, acceptance ratio, to evaluate the quality of the mined specifications instead of the specification size often used in the previous work, enabling more accurate specifications to be mined.
The effectiveness of the proposed method is evaluated on both synthetic traces and traces generated from executing several system models in GEM5.
In both cases, the proposed method achieves superior accuracies compared to a previous approach.
Event Type
Work-in-Progress Poster
TimeTuesday, June 256:00pm - 7:00pm PDT
LocationLevel 2 Lobby
AI
Autonomous Systems
Cloud
Design
EDA
Embedded Systems
IP
Security