@coreyeng Fairly certain that when we specify --verilog_top_output_name <name> the name of the module in the file needs to be changed to match.