| Line 113... |
Line 113... |
int verbose; /* Force verbose output */
|
int verbose; /* Force verbose output */
|
int iprompt; /* Interactive prompt */
|
int iprompt; /* Interactive prompt */
|
|
|
int profile; /* Is profiler running */
|
int profile; /* Is profiler running */
|
char prof_fn[STR_SIZE]; /* Profiler filename */
|
char prof_fn[STR_SIZE]; /* Profiler filename */
|
FILE *fprof; /* Profiler file */
|
|
|
|
int exe_log; /* Print out RTL states? */
|
int exe_log; /* Print out RTL states? */
|
char exe_log_fn[STR_SIZE]; /* RTL state comparison filename */
|
char exe_log_fn[STR_SIZE]; /* RTL state comparison filename */
|
FILE *fexe_log; /* RTL state comparison file */
|
|
} sim;
|
} sim;
|
|
|
struct {
|
struct {
|
int enabled; /* Whether is debug module enabled */
|
int enabled; /* Whether is debug module enabled */
|
int gdb_enabled; /* Whether is debugging with gdb possible */
|
int gdb_enabled; /* Whether is debugging with gdb possible */
|
| Line 131... |
Line 129... |
struct { /* Verification API, part of Advanced Core Verification */
|
struct { /* Verification API, part of Advanced Core Verification */
|
int enabled; /* Whether is VAPI module enabled */
|
int enabled; /* Whether is VAPI module enabled */
|
int server_port; /* A user specified port number for services */
|
int server_port; /* A user specified port number for services */
|
int log_enabled; /* Whether to log the vapi requests */
|
int log_enabled; /* Whether to log the vapi requests */
|
char vapi_fn[STR_SIZE]; /* vapi log filename */
|
char vapi_fn[STR_SIZE]; /* vapi log filename */
|
FILE *vapi_file; /* vapi file */
|
|
} vapi;
|
} vapi;
|
|
};
|
|
|
char *script_file; /* Script file that should be used */
|
struct runtime {
|
|
struct {
|
|
FILE *fprof; /* Profiler file */
|
|
FILE *fexe_log; /* RTL state comparison file */
|
|
int init; /* Whether we are still initilizing sim */
|
|
int script_file_specified;/* Whether script file was already loaded */
|
char *filename; /* Original Command Simulator file (CZ) */
|
char *filename; /* Original Command Simulator file (CZ) */
|
|
} sim;
|
|
|
|
struct { /* Verification API, part of Advanced Core Verification */
|
|
FILE *vapi_file; /* vapi file */
|
|
} vapi;
|
};
|
};
|
|
|
#ifdef DEBUGMOD_OFF
|
#ifdef DEBUGMOD_OFF
|
#define DEBUG_ENABLED 0
|
#define DEBUG_ENABLED 0
|
#define GDB_ENABLED 0
|
#define GDB_ENABLED 0
|
| Line 147... |
Line 155... |
#define DEBUG_ENABLED config.debug.enabled
|
#define DEBUG_ENABLED config.debug.enabled
|
#define GDB_ENABLED config.debug.gdb_enabled
|
#define GDB_ENABLED config.debug.gdb_enabled
|
#endif
|
#endif
|
|
|
extern struct config config;
|
extern struct config config;
|
|
extern struct runtime runtime;
|
|
|
/* Read environment from a script file. Does not fail - assumes defaukt configuration instead. */
|
/* Read environment from a script file. Does not fail - assumes defaukt configuration instead. */
|
void read_script_file (char *filename);
|
void read_script_file (char *filename);
|
|
|
No newline at end of file
|
No newline at end of file
|
|
/* Executes set sim command. Returns nonzero if error. */
|
|
void set_config_command (char *s);
|
|
|
No newline at end of file
|
No newline at end of file
|
