Author
Huawei Hong Kong Research Center, Fermat Lab
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.
LLM-generated, verifier-checked semantic hints can serve as a practical complement to conventional word-level PDR, demonstrating notable speedups and timeout avoidance on hard cases.
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.
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.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
