A Formally Verified Procedure for Width Inference in FIRRTL.

Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen

Browse the full ESOP paper archive.