data/full_repos/permissive/128204663/build-data/share/SB_WARMBOOT.v
 line:3: before: ","
data/verilator_xmls/4d7f8696-bca4-419b-9ad8-68d697bd9f93.xml
module SB_WARMBOOT (
	input BOOT,
	input S1,
	input S0
);
endmodule
module SB_WARMBOOT (
	input BOOT,
	input S1,
	input S0
);

endmodule