activity
20242026
most citedAssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs

8 citations · 13 across the 15 of their papers we have counts for

collaborators
Showing 2026Show all

7 papers · 1 filter

cs.CL2026

TomasuLLM: Out-of-Order Speculative Execution for LLM Agents

Jiangnan Yu, Ceyu Xu, Mengming Li +6

Long-running tools can dominate coding-agent latency: compilers, test suites, and repository commands take seconds to minutes while the agent idles. This observation stall presents…

cs.AI2026

Memory Compression for High-Fanout Agent Sandboxes

Mengming Li, Ceyu XU, Qijun Zhang +4

High-fanout agent workloads create a growing memory bottleneck because a single task may spawn many concurrent sandbox sessions. Yet these sandboxes are far from independent: they…

cs.AR2026

G-Power: Architecture-level GPU Power Modeling with Aggregated Knowledge Foundations from Known GPUs

Qijun Zhang, Yao Lu, Shang Liu +4

Graphics Processing Units (GPUs) have been serving as critical computation resources for large-scale parallel computations. With increasing chip complexity, power efficiency has be…

cs.AR2026

LEAP: A Self-Supervised Per-Cycle Toggle Propagation Model Supports Fast, Transferable, and Early Analysis of Layout Power

Wenkai Li, Yuchao Wu, Ziyan Guo +4

Accurate power analysis is critical in VLSI design, as it directly impacts power optimization strategies. However, traditional approaches are often hindered by the substantial runt…

cs.AR2026

ComPart: Community-Guided Post-Coarsening for High-Quality Hypergraph Partitioning

Yugao Zhu, Zhicheng Guo, Yuchao Wu +3

Hypergraph partitioning is a critical step in the design of complex embedded systems, essential for optimizing task mapping on heterogeneous MPSoCs and enabling multi-FPGA prototyp…

cs.AR2026

IMPart: Integration of Memetic Operations into Multi-Level Framework for Large-k-Way Hypergraph Partitioning

Yugao Zhu, Zhicheng Guo, Shang Liu +3

The problem of k-way hypergraph partitioning is fundamental with significant applications in various fields, including VLSI design and scientific computing. State-of-the-art hyperg…

cs.AR2026

ICP: Exploiting Instruction Correlation for Prefetching Irregular Memory Accesses

Mengming Li, Chenlu Miao, Buqing Xu +7

Irregular memory accesses pose challenges for effective and efficient data prefetching. While temporal prefetchers have recently shown promise for irregular memory access patterns,…