| Line 70... |
Line 70... |
config.sim.profile_mode = 0;
|
config.sim.profile_mode = 0;
|
config.sim.mprofile_mode = 0;
|
config.sim.mprofile_mode = 0;
|
config.sim.mprofile_group = 2;
|
config.sim.mprofile_group = 2;
|
strcpy (config.sim.prof_fn, "sim.profile");
|
strcpy (config.sim.prof_fn, "sim.profile");
|
strcpy (config.sim.mprof_fn, "sim.mprofile");
|
strcpy (config.sim.mprof_fn, "sim.mprofile");
|
|
strcpy (config.sim.fstdout, "stdout.txt");
|
strcpy (runtime.sim.script_fn, "(default)");
|
strcpy (runtime.sim.script_fn, "(default)");
|
config.sim.clkcycle_ps = 4000; /* 4000 for 4ns (250MHz) */
|
config.sim.clkcycle_ps = 4000; /* 4000 for 4ns (250MHz) */
|
if (config.sim.clkcycle_ps) config.sim.system_kfreq = (long)((1000000000.0 / (double)config.sim.clkcycle_ps));
|
if (config.sim.clkcycle_ps) config.sim.system_kfreq = (long)((1000000000.0 / (double)config.sim.clkcycle_ps));
|
else config.sim.system_kfreq = INT_MAX;
|
else config.sim.system_kfreq = INT_MAX;
|
if (config.sim.system_kfreq <= 0) config.sim.system_kfreq = 1;
|
if (config.sim.system_kfreq <= 0) config.sim.system_kfreq = 1;
|
| Line 543... |
Line 544... |
{6, "exe_log_marker", "=%i", NULL, (void *)(&config.sim.exe_log_marker), 0},
|
{6, "exe_log_marker", "=%i", NULL, (void *)(&config.sim.exe_log_marker), 0},
|
{6, "exe_log_fn", "=\"%s\"", NULL, (void *)(&config.sim.exe_log_fn[0]), 0},
|
{6, "exe_log_fn", "=\"%s\"", NULL, (void *)(&config.sim.exe_log_fn[0]), 0},
|
{6, "spr_log", "=%i", NULL, (void *)(&config.sim.spr_log), 0},
|
{6, "spr_log", "=%i", NULL, (void *)(&config.sim.spr_log), 0},
|
{6, "spr_log_fn", "=\"%s\"", NULL, (void *)(&config.sim.spr_log_fn[0]), 0},
|
{6, "spr_log_fn", "=\"%s\"", NULL, (void *)(&config.sim.spr_log_fn[0]), 0},
|
{6, "clkcycle", "=%s ", sim_clkcycle, (void *)(&tempS[0]), 0},
|
{6, "clkcycle", "=%s ", sim_clkcycle, (void *)(&tempS[0]), 0},
|
|
{6, "stdout", "=\"%s\"", NULL, (void *)(&config.sim.fstdout[0]), 0},
|
|
|
{7, "enabled", "=%i", NULL, (void *)(&config.debug.enabled), 0},
|
{7, "enabled", "=%i", NULL, (void *)(&config.debug.enabled), 0},
|
{7, "gdb_enabled", "=%i", NULL, (void *)(&config.debug.gdb_enabled), 0},
|
{7, "gdb_enabled", "=%i", NULL, (void *)(&config.debug.gdb_enabled), 0},
|
{7, "server_port", "=%i", NULL, (void *)(&config.debug.server_port), 0},
|
{7, "server_port", "=%i", NULL, (void *)(&config.debug.server_port), 0},
|
{7, "vapi_id", "=0x%x", NULL, (void *)(&config.debug.vapi_id), 0},
|
{7, "vapi_id", "=0x%x", NULL, (void *)(&config.debug.vapi_id), 0},
|
