High-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 deep sequence modeling with the attention mechanism to infer accurate flow specifications from SoC communication traces. The proposed method can overcome the inherent complexity of SoC traces induced by the concurrent executions of SoC designs that existing mining tools often find extremely challenging. We conduct experiments on five highly concurrent traces and find that the proposed approach outperforms several existing state-of-the-art trace mining tools.
翻译:高质量系统级电文流规格是全面验证芯片系统设计所必需的,然而,手工开发和维护这种规格是一项艰巨的任务。我们建议采用一种破坏性方法,利用深序列模型,并采用关注机制,从 SoC通信痕迹中推断出准确的流量规格。拟议方法可以克服同时执行SOC设计所引发的SOC跟踪的内在复杂性,而现有的采矿工具往往发现这些图案具有极大的挑战性。我们试验了五个高度并行的痕迹,发现拟议方法优于若干现有最先进的追踪采矿工具。