Murphi2Chisel: A Protocol Compiler from Murphi to Chisel. - Zhenghai Cai; Yongjian Li; Yongxin Zhao (Internetware, 2024)