FlattenRTL: An Open Source Tool for Flattening Verilog Module at RTL Level | IEEE Conference Publication | IEEE Xplore