TY  - RPRT
TI  - Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking
AU  - Jiaying Zhu
AU  - Zhengyuan Shi
AU  - Mengxia Tao
AU  - Kezhi Li
AU  - Min Li
AU  - Qiang Xu
PY  - 2026
UR  - https://arxiv.org/abs/2607.07164
ID  - 2607.07164
ER  -