	system u0 (
		.core_current_export       (_connected_to_core_current_export_),       //   input,  width = 16,       core_current.export
		.core_voltage_export       (_connected_to_core_voltage_export_),       //   input,  width = 16,       core_voltage.export
		.fan_speed_export          (_connected_to_fan_speed_export_),          //   input,  width = 16,          fan_speed.export
		.pin_status_export         (_connected_to_pin_status_export_),         //   input,  width = 16,         pin_status.export
		.power_in_voltage_export   (_connected_to_power_in_voltage_export_),   //   input,  width = 16,   power_in_voltage.export
		.temperature_board1_export (_connected_to_temperature_board1_export_), //   input,  width = 16, temperature_board1.export
		.temperature_board2_export (_connected_to_temperature_board2_export_), //   input,  width = 16, temperature_board2.export
		.temperature_fpga_export   (_connected_to_temperature_fpga_export_),   //   input,  width = 16,   temperature_fpga.export
		.temperature_power_export  (_connected_to_temperature_power_export_),  //   input,  width = 16,  temperature_power.export
		.vcc1p2_current_export     (_connected_to_vcc1p2_current_export_),     //   input,  width = 16,     vcc1p2_current.export
		.vcc1p2_voltage_export     (_connected_to_vcc1p2_voltage_export_),     //   input,  width = 16,     vcc1p2_voltage.export
		.clock_in_clk              (_connected_to_clock_in_clk_),              //   input,   width = 1,           clock_in.clk
		.reset_in0_reset           (_connected_to_reset_in0_reset_),           //   input,   width = 1,          reset_in0.reset
		.reset_in1_reset           (_connected_to_reset_in1_reset_)            //   input,   width = 1,          reset_in1.reset
	);

