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
research
09/12/2022

Mining SoC Message Flows with Attention Model

High-quality system-level message flow specifications are necessary for ...
research
03/29/2021

Adversarial Specification Mining

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

Mining Secure Behavior of Hardware Designs

Specification mining offers a solution by automating security specificat...
research
05/22/2020

Mining Message Flows from System-on-Chip Execution Traces

Comprehensive and well-defined specifications are necessary to perform r...
research
02/08/2021

Feature Engineering for Scalable Application-Level Post-Silicon Debugging

We present systematic and efficient solutions for both observability enh...
research
06/04/2022

Explaining Hyperproperty Violations

Hyperproperties relate multiple computation traces to each other. Model ...
research
10/17/2022

Contextuality in distributed systems

We present a lattice of distributed program specifications, whose orderi...

Please sign up or login with your details

Forgot password? Click here to reset