AbstractHigh-quality system-level message flow specifications are necessary for comprehensive validation of
system-on-chip (SoC) designs. However, manual development and maintenance of such specifications are daunting tasks. We propose a disruptive method that utilizes
→