Author

Tiancheng Wang

h-index 7 View on Semantic Scholar

We have 2 of 30 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

Joint Optimization of Spatial Locality and Endurance for MAGIC with Capacity Constraints

Memristor-Aided Logic (MAGIC), as a stateful logic paradigm for in-memory computing, has been widely explored in the field of memristive logic synthesis in recent years. However, existing methods primarily focus on the optimization for area and latency under an ideal single-array mapping scenario, which overlooks the i...

Si-Run Shi, Peng Liu, Lian Yao et al. · International Test Conferenc... · 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