/// <summary> /// revise numbers /// </summary> public static void checkAllReady() { if (dram_config != null) { rank += (Int32)dram_config.NUM_RANKS; bank += (Int32)dram_config.NUM_BANKS; } if (hmc_config != null) { rank += (Int32)hmc_config.num_vaults; bank += (Int32)hmc_config.num_banks; } if (output_file != "") { fs = new FileStream(output_file, FileMode.Create); sw = new StreamWriter(fs); DEBUG.set_writer(ref sw); } }