Author

Guangyu Hu

Huawei Hong Kong Research Center, Fermat Lab

h-index 5 Homepage View on Semantic Scholar

We have 3 of 23 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Enhancing Word-Level Property Directed Reachability with LLM-Driven Semantic Guidance

Property Directed Reachability (PDR) is a prominent algorithm for hardware formal verification. However, bit-level PDR often struggles with datapath-heavy designs because bit-blasting obscures high-level semantics. While word-level PDR addresses this by reasoning over bit-vector and array theories, its performance rema...

Guang-Yu Hu, Ming-Kai Miao, Zhi-Yuan Yan et al. · 0 citations

#edge computing Preprint Sep 2026

APEX-RBD: Mixed-Precision Exploration Framework for Hardware-Efficient Robot Dynamics Accelerator Design

APEX-RBD is introduced, an automated framework that makes mixed-precision exploration computationally tractable while effectively identifying hardware-efficient configurations and employs a data-efficient, prior-informed surrogate model to enable rapid trajectory error prediction.

Xing-Yu Liu, Hanwei Fan, Chao-Fang Ma et al. · 0 citations

Preprint Aug 2026

Forbench: Symbolic Simulation Helps Make Your Testbench More Formal

Forbench is introduced, a word-level symbolic simulation framework that retains the familiar execution semantics of simulation but augments it with solver-backed symbolic signals and state transitions, enabling systematic exploration of RTL behaviors under symbolic inputs and conditions.

Ziyi Yang, Wenbin Che, Ziyue Zheng et al. · 0 citations