TensorLift: Automatic Extraction of Tensor-Level ISA Semantics from Accelerator RTL via MLIR Semantic Lifting

Ruijie Gao, Haoran Jin, Jirong Yang, Nathaniel Bleier

International Conference on Computer-Aided Design (ICCAD), 2026