Author

Zhiteng Chao

h-index 4 View on Semantic Scholar

We have 3 of 31 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.

Conference Aug 2026

HEARS: High-Fidelity Emulation for Aging Fault via Scan-Chain Reuse and Flip-Flop Sampling

As semiconductor nodes shrink to 7nm and below, aging-induced delay faults (e.g., NBTI, HCI) increasingly threaten SoC reliability. To optimize resilience, designers require early-stage evaluation of fault impacts; however, traditional Fault Injection (FI) assessments are either bottlenecked by the slow execution of pr...

Zhi-Teng Chao, Jia-Tong Chang, Jie Yu et al. · International Test Conferenc... · 0 citations

Preprint Sep 2026

E-ALS: Approximation-Potential-Aware E-Graph Rewriting for Approximate Logic Synthesis

E-ALS is proposed, an e-graph-based framework for approximation-aware structural search that combines Function-Reduced Saturation, an ALS-coupled surrogate, search-based extraction, and budget-guided refinement to identify approximation-friendly equivalent structures.

Bin Sun, Jia-Nan Mu, Jia-Xi Zhang et al. · 0 citations

Jul 2026

Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse

Rtl2lean is presented, a framework that automatically translates RTL designs into executable Lean 4 models and builds a hierarchical theorem library for subsequent verification and demonstrates that Rtl2lean can construct machine checked RTL proof libraries with low checking overhead and substantial cross property lemm...

Hongqin Lyu, Junxing Dong, Yonghao Wang et al. · arXiv.org · 0 citations