Understanding communication behavior in modern system-on-chip (SoC) designs is critical for functional verification, performance analysis, and post-silicon debugging. Communication traces capture message exchanges among system components and provide valuable insights into system behavior. However, deriving concise communication specifications from such traces remains challenging due to interleaved instances of communication flows, and ambiguous causal relationships among messages. Existing mining approaches often struggle with scalability and ambiguity when traces contain complex interleaving of message patterns across multiple components. These conditions often lead to an explosion in the number of candidate flows and inaccurate extraction of communication behaviors. This paper presents AutoFlows++, a design-architecture-guided hierarchical framework for mining message flows from communication traces of complex SoC designs. AutoFlows++ operates in two stages: local mining followed by global mining. In the local mining stage, simple communication patterns are extracted from traces observed at individual communication interfaces between components. In the global mining stage, these local patterns are composed to identify higher-level message flows that characterize communication behavior across multiple components. Experimental results on both synthetic traces and traces generated from SoC models in GEM5 demonstrate that AutoFlows++ significantly improves flow extraction accuracy compared with prior approaches, highlighting its effectiveness for practical SoC validation tasks.
Figures & tables
Fig. 1 : (a) Simplified SoC architecture example, (b) Message sequence diagram for CPU downstream read flows, parameterized by x=0 or 1 . Only CPU, Cache, and Mem communications are shown for clarity.
Feature
AutoFlows
AutoFlows++ (This Work)
Mining Strategy
Global causality inference
Hierarchical local and global mining
Trace Processing
Whole-trace analysis
Interface-sliced + Whole-trace analysis
Causality Filtering
Confidence-driven edge pruning
Confidence-driven + local validation
Flow Selection
Heuristic refinement process
Energy-based optimization framework
Temporal Modeling
None
Explicit positional constraints
Hierarchical Mining
None
Local + Global mining
TABLE I : Comparison Between AutoFlows and AutoFlows++
Fig. 2 : (a) Graph representation of CPU downstream flows from Fig. 1 (b), where nodes are labeled with messages defined in (b). (c) shows the flows’ initial and terminal messages.
Fig. 3 : Overview of the AutoFlows++ Framework
Fig. 4 : Causality graph from trace ( 1 ): edges marked with forward/backward confidences.
Fig. 5 : Sub-causality graphs for the example trace 5 .
Fig. 6 : (a) GEM5 Full-System (FS) design. (b) GEM5 System Emulation (SE) design. : Communication Monitor
Large-20 (10900 * )
Large-10 (4360 * )
Small-20 (3680 * )
RT
Size
Ratio
RT
Size
Ratio
RT
Size
Ratio
AutoFlows++
14
120
98.62%
10
126
99.31%
6
62
99.51%
AutoFlows [ 29 ]
197
134
90.26%
154
132
90.47%
102
77
89.57%
AutoModel [ 28 ]
68
103
57.12%
50
107
63.69%
44
61
69.97%
TABLE II : Synthetic Results (The Run-Time (RT) is in seconds.)
Threads (7649395 * )
Snoop (485497 * )
Full-System ( 8.4×109 * )
RT
Size
Ratio
RT
Size
Ratio
RT
Size
Ratio
AutoFlows++
0:17
194
98.91%
0:14
168
95.74%
0:32
198
92.15%
AutoFlows [ 29 ]
2:53
234
97.92%
0:42
191
92.67%
9:46
228
90.04%
AutoModel [ 28 ]
1:26
216
96.31%
0:28
177
88.79%
4:11
214
70.67%
TABLE III : GEM5 Results (The Run-Time (RT) is in hours:minutes.)
Fig. 7 : Counts of instances of the mined message sequences of different lengths using the AutoFlows++, AutoFlows, and AutoModel method that are found in the GEM5 (a) threads , (b) snoop , and (c) full-system traces.
Fig. 8 : (a) A flow mined from the GEM5 threads trace. (b) GEM5 documentation’s memory write miss sequence. (c) Two flows mined from the GEM5 threads trace depicting a clean eviction scenario, not in GEM5 documentation .
Chip placement plays an important role in physical design. While generative models like diffusion models offer promising learning-based solutions, current methods have the following limitations: they use random synthetic data for pre-training, require long sampling times, and often result in overlaps due to their dependence on gradient-based solvers during the sampling process. To overcome these issues, we propose FlowPlace, which features mask-guided synthetic data generation, flow-based efficient training with flexible prior injection, and hard constraint sampling for overlap-free layouts. Experiments on OpenROAD and ICCAD 2015 benchmarks show FlowPlace achieves better PPA metrics, 10-50× faster sampling efficiency, and zero overlaps.
Peng Xie, Ke Xue, Yunqi Shi +6
1State Key Laboratory of Novel Software Technology, Nanjing University, China · School of Artificial Intelligence, Nanjing University, China · 3Huawei Noah’s Ark Lab, China
As Very Large Scale Integration (VLSI) designs continue to scale in size and complexity, layout verification has become a central challenge in modern Electronic Design Automation (EDA) workflows. In practice, congestion can only be accurately identified after detailed routing, making traditional verification both time-consuming and costly. Learning-based approaches have therefore been explored to enable early-stage congestion prediction and reduce routing iterations. However, although prior methods incorporate both netlist connectivity and layout features, they often model the two in a loosely coupled manner and primarily produce numerical congestion estimates. We propose VeriHGN, a verification framework built on an enhanced heterogeneous graph that unifies circuit components and spatial grids into a single relational representation, enabling more faithful modeling of the interaction between logical intent and physical realization. Experiments on industrial benchmarks, including ISPD2015, CircuitNet-N14, and CircuitNet-N28, demonstrate that VeriHGN achieves the best or near-best performance over state-of-the-art methods in prediction accuracy and correlation metrics.
Runbang Hu, Bo Fang, Bingzhe Li +1
The University of Texas at Arlington, Arlington, Texas, USA · The University of Texas at Dallas, Dallas, Texas, USA
As the complexity of System-on-Chip (SoC) designs grows, the shift-left paradigm necessitates the rapid development of high-fidelity reference models (typically written in SystemC) for early architecture exploration and verification. While Large Language Models (LLMs) show promise in code generation, their application to hardware modeling faces unique challenges: (1) Rigid, static workflows fail to adapt to varying design complexity, causing inefficiency; (2) Context window overflow in multi-turn interactions leads to catastrophic forgetting of critical specifications; and (3) the Coupled Validation Failure problem--where generated Testbenches (TBs) incorrectly validate flawed models due to correlated hallucinations--severely undermines reliability. To address these limitations, we introduce RefEvo, a dynamic multi-agent framework designed for agile and reliable reference modeling. RefEvo features three key innovations: (1) A Dynamic Design Planner that autonomously decomposes design specifications and constructs tailored execution workflows based on semantic complexity; (2) A Co-Evolutionary Verification Mechanism, which employs a Dialectical Arbiter to simultaneously rectify the model and verification logic against the specification (Spec) oracle, effectively mitigating false positives; and (3) A Spec Anchoring Strategy for lossless context compression. Evaluated on a diverse benchmark of 20 hardware modules, RefEvo achieves a 95% pass rate, outperforming static baselines by a large margin. Furthermore, our context optimization reduces token consumption by an average of 71.04%, achieving absolute savings of over 70,000 tokens per session for complex designs while maintaining 100% specification recall.
Yifan Zhang, Jianmin Ye, Jiahao Yang +1
School of Integrated Circuits, Southeast University, China · National Center of Technology Innovation for EDA, China