ESFO: Equality Saturation for FIRRTL Optimization. - Yan Pi; Hongji Zou; Tun Li; Wanxia Qu; Hai Wan (ACM Great Lakes Symposium on VLSI, 2023)