TY  - RPRT
TI  - A Formally Verified Procedure for Width Inference in FIRRTL
AU  - Keyin Wang
AU  - Xiaomu Shi
AU  - Jiaxiang Liu
AU  - Zhilin Wu
AU  - Taolve Chen
AU  - Fu Song
AU  - David N. Jansen
PY  - 2026
UR  - https://arxiv.org/abs/2601.12813
ID  - 2601.12813
ER  -