Deep Bidirectional Transformers for SoC Flow Specification Mining

• URL: http://arxiv.org/abs/2203.13182v1
• Date: Wed, 9 Mar 2022 04:47:56 GMT
• Title: Deep Bidirectional Transformers for SoC Flow Specification Mining
• Abstract summary: 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 IP communication traces.
• Score: 6.183038131030848
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: 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.

Related papers

• Statistical Channel Fingerprint Construction for Massive MIMO: A Unified Tensor Learning Framework [51.39651336043647]
  Channel fingerprint (CF) is considered a key enabler for facilitating the acquisition of channel state information inIMO communication systems.<n>We propose a novel type of CF that stores statistical CSI (sCSI) at each potential location, referred to as statistical CF (sCF)
  arXiv  Detail & Related papers  (2026-04-30T08:28:45Z)
• System-Level Design of Scalable Fluxonium Quantum Processors with Double-Transmon Couplers [0.0]
  Recent experiments have demonstrated high-fidelity operations in multi-qubit processors using fluxonium-transmon-fluxonium (FTF) architectures.<n> scaling such systems to larger arrays is constrained by a trade-off between achievable coupling strength, crosstalk suppression and qubit-qubit spacing.<n>Here, we develop a quantitative design framework for fluxonium-based quantum processors employing DTCs.
  arXiv  Detail & Related papers  (2026-04-29T07:34:42Z)
• AutoFlows++: Hierarchical Message Flow Mining for System on Chip Designs [6.0174402828965725]
  AutoFlows++ is a design-architecture-guided hierarchical framework for mining message flows from communication traces of complex designs.<n>Results show that AutoFlows++ significantly improves flow extraction accuracy compared with prior approaches.
  arXiv  Detail & Related papers  (2026-04-12T15:44:43Z)
• Flow-Matching Guided Deep Unfolding for Hyperspectral Image Reconstruction [53.26903617819014]
  Flow-Matching-guided Unfolding network (FMU) is first to integrate flow matching into HSI reconstruction.<n>To further strengthen the learned dynamics, we introduce a mean velocity loss.<n>Experiments on both simulated and real datasets show that FMU significantly outperforms existing approaches in reconstruction quality.
  arXiv  Detail & Related papers  (2025-10-02T11:32:00Z)
• FindRec: Stein-Guided Entropic Flow for Multi-Modal Sequential Recommendation [50.438552588818]
  We propose textbfFindRec (textbfFlexible unified textbfinformation textbfdisentanglement for multi-modal sequential textbfRecommendation)<n>A Stein kernel-based Integrated Information Coordination Module (IICM) theoretically guarantees distribution consistency between multimodal features and ID streams.<n>A cross-modal expert routing mechanism that adaptively filters and combines multimodal features based on their contextual relevance.
  arXiv  Detail & Related papers  (2025-07-07T04:09:45Z)
• Channel Fingerprint Construction for Massive MIMO: A Deep Conditional Generative Approach [65.47969413708344]
  We introduce the concept of CF twins and design a conditional generative diffusion model (CGDM)<n>We employ a variational inference technique to derive the evidence lower bound (ELBO) for the log-marginal distribution of the observed fine-grained CF conditioned on the coarse-grained CF.<n>We show that the proposed approach exhibits significant improvement in reconstruction performance compared to the baselines.
  arXiv  Detail & Related papers  (2025-05-12T01:36:06Z)
• Transformer-Driven Neural Beamforming with Imperfect CSI in Urban Macro Wireless Channels [27.445841110148674]
  We introduce a novel unsupervised deep learning framework that integrates depthwise separable convolutions and transformers to generate beamforming weights under imperfect channel state information. The primary goal is to enhance throughput by maximizing sum-rate while ensuring reliable communication.
  arXiv  Detail & Related papers  (2025-04-15T23:41:24Z)
• DA-Flow: Dual Attention Normalizing Flow for Skeleton-based Video Anomaly Detection [52.74152717667157]
  We propose a lightweight module called Dual Attention Module (DAM) for capturing cross-dimension interaction relationships in-temporal skeletal data. It employs the frame attention mechanism to identify the most significant frames and the skeleton attention mechanism to capture broader relationships across fixed partitions with minimal parameters and flops.
  arXiv  Detail & Related papers  (2024-06-05T06:18:03Z)
• Inferring Message Flows From System Communication Traces [5.159745269633967]
  This paper proposes a method for automatically inferring message flow specifications from the communication traces of a system-on-chip (SoC) design. The proposed method relieves the burden of manual development and maintenance of such specifications on human designers. The effectiveness of the proposed method is evaluated on both synthetic traces and traces generated from executing several system models in GEM5.
  arXiv  Detail & Related papers  (2024-05-21T00:34:35Z)
• Context-Aware Coupler Reconfiguration for Tunable Coupler-Based Superconducting Quantum Computers [0.0]
  Existing mitigation methods carry trade-offs, like hardware couplers or software-based gate scheduling. Our innovation, the Context-Aware COupler REconfiguration (CA-CORE) compilation method, aligns with application-specific design principles.
  arXiv  Detail & Related papers  (2024-01-08T11:15:55Z)
• Fault-tolerant quantum architectures based on erasure qubits [49.227671756557946]
  We exploit the idea of erasure qubits, relying on an efficient conversion of the dominant noise into erasures at known locations. We propose and optimize QEC schemes based on erasure qubits and the recently-introduced Floquet codes. Our results demonstrate that, despite being slightly more complex, QEC schemes based on erasure qubits can significantly outperform standard approaches.
  arXiv  Detail & Related papers  (2023-12-21T17:40:18Z)
• Adaptive Planning Search Algorithm for Analog Circuit Verification [53.97809573610992]
  We propose a machine learning (ML) approach, which uses less simulations. We show that the proposed approach is able to provide OCCs closer to the specifications for all circuits.
  arXiv  Detail & Related papers  (2023-06-23T12:57:46Z)
• Signal Detection in MIMO Systems with Hardware Imperfections: Message Passing on Neural Networks [101.59367762974371]
  In this paper, we investigate signal detection in multiple-input-multiple-output (MIMO) communication systems with hardware impairments. It is difficult to train a deep neural network (DNN) with limited pilot signals, hindering its practical applications. We design an efficient message passing based Bayesian signal detector, leveraging the unitary approximate message passing (UAMP) algorithm.
  arXiv  Detail & Related papers  (2022-10-08T04:32:58Z)
• Mining SoC Message Flows with Attention Model [5.233797258148846]
  We propose a disruptive method that utilizes deep sequence modeling with the attention mechanism to infer accurate flow specifications from system-on-chip (SoC) communication traces. We conduct experiments on five highly concurrent traces and find that the proposed approach outperforms several existing state-of-the-art trace mining tools.
  arXiv  Detail & Related papers  (2022-09-12T22:27:24Z)
• CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version) [62.96267257163426]
  We introduce the CoCoMoT (Computing Conformance Modulo Theories) framework. First, we show how SAT-based encodings studied in the pure control-flow setting can be lifted to our data-aware case. Second, we introduce a novel preprocessing technique based on a notion of property-preserving clustering.
  arXiv  Detail & Related papers  (2021-03-18T20:22:50Z)
• Experimental Characterization of Crosstalk Errors with Simultaneous Gate Set Tomography [0.0]
  We show how gate set tomography can be used to identify and characterize crosstalk errors in quantum information processors. We demonstrate our methods on a two-qubit trapped-ion processor and a two-qubit subsystem of a superconducting transmon processor.
  arXiv  Detail & Related papers  (2021-03-17T20:02:53Z)
• Mining Message Flows using Recurrent Neural Networks for System-on-Chip Designs [6.050748152029478]
  We develop a specification mining approach that automatically extracts sequential patterns from transaction-level traces. The proposed approach is capable of extracting various patterns on system-level specifications from the highly concurrent execution traces.
  arXiv  Detail & Related papers  (2020-04-29T17:52:53Z)
• DeepSIC: Deep Soft Interference Cancellation for Multiuser MIMO Detection [98.43451011898212]
  In multiuser multiple-input multiple-output (MIMO) setups, where multiple symbols are simultaneously transmitted, accurate symbol detection is challenging. We propose a data-driven implementation of the iterative soft interference cancellation (SIC) algorithm which we refer to as DeepSIC. DeepSIC learns to carry out joint detection from a limited set of training samples without requiring the channel to be linear.
  arXiv  Detail & Related papers  (2020-02-08T18:31:00Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.