Mining Message Flows from System-on-Chip Execution Traces

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. They are essential for efficient system-level validation and debug for SoC designs. However, in practice such specifications are ...