Deep Bidirectional Transformers for SoC Flow Specification Mining

03/09/2022
by   MD Rubel Ahmed, et al.
0

High-quality system-level message flow specifications can lead to comprehensive validation of system-on-chip (SoC) designs. We propose a disruptive method that utilizes an attention mechanism to produce accurate flow specifications from SoC IP communication traces. The proposed method can overcome the inherent complexity of SoC traces induced by the concurrency and parallelism of multicore designs that existing flow specification mining tools often find extremely challenging. Experiments on highly interleaved traces show promising flow reconstruction compared to several tools dedicated to the flow specification mining problem.

READ FULL TEXT

Authors

05/22/2020

Mining Message Flows from System-on-Chip Execution Traces

Comprehensive and well-defined specifications are necessary to perform r...
03/29/2021

Adversarial Specification Mining

There have been numerous studies on mining temporal specifications from ...
08/20/2021

Mining Secure Behavior of Hardware Designs

Specification mining offers a solution by automating security specificat...
02/08/2021

Feature Engineering for Scalable Application-Level Post-Silicon Debugging

We present systematic and efficient solutions for both observability enh...
04/29/2020

Mining Message Flows using Recurrent Neural Networks for System-on-Chip Designs

Comprehensive specifications are essential for various activities across...
06/04/2022

Explaining Hyperproperty Violations

Hyperproperties relate multiple computation traces to each other. Model ...
02/13/2021

Model Synthesis for Communication Traces of System-on-Chip Designs

Concise and abstract models of system-level behaviors are invaluable in ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.