206 lines
5.7 KiB
C
206 lines
5.7 KiB
C
/*
|
|
* Copyright (c) 1999 Stephen Williams (steve@icarus.com)
|
|
*
|
|
* This source code is free software; you can redistribute it
|
|
* and/or modify it in source code form under the terms of the GNU
|
|
* General Public License as published by the Free Software
|
|
* Foundation; either version 2 of the License, or (at your option)
|
|
* any later version.
|
|
*
|
|
* This program is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with this program; if not, write to the Free Software
|
|
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
|
|
*/
|
|
#ifdef HAVE_CVS_IDENT
|
|
#ident "$Id: sys_table.c,v 1.25 2004/06/09 22:14:10 steve Exp $"
|
|
#endif
|
|
|
|
# include "vpi_config.h"
|
|
# include "vpi_user.h"
|
|
# include <stdio.h>
|
|
# include <stdlib.h>
|
|
# include <string.h>
|
|
|
|
extern void sys_convert_register();
|
|
extern void sys_fileio_register();
|
|
extern void sys_finish_register();
|
|
extern void sys_deposit_register();
|
|
extern void sys_display_register();
|
|
extern void sys_plusargs_register();
|
|
extern void sys_random_register();
|
|
extern void sys_random_mti_register();
|
|
extern void sys_readmem_register();
|
|
extern void sys_time_register();
|
|
extern void sys_vcd_register();
|
|
extern void sys_vcdoff_register();
|
|
|
|
#ifdef HAVE_LIBZ
|
|
extern void sys_lxt_register();
|
|
extern void sys_lxt2_register();
|
|
#else
|
|
static void sys_lxt_register() { fputs("LXT support disabled since zlib not available\n",stderr); exit(1); }
|
|
static void sys_lxt2_register() { fputs("LXT2 support disabled since zlib not available\n",stderr); exit(1); }
|
|
#endif
|
|
|
|
static void sys_lxt_or_vcd_register()
|
|
{
|
|
int idx;
|
|
struct t_vpi_vlog_info vlog_info;
|
|
|
|
char*dumper;
|
|
|
|
/* Get the dumper of choice from the IVERILOG_DUMPER
|
|
environment variable. */
|
|
dumper = getenv("IVERILOG_DUMPER");
|
|
if (dumper) {
|
|
char*cp = strchr(dumper,'=');
|
|
if (cp != 0)
|
|
dumper = cp + 1;
|
|
|
|
} else {
|
|
dumper = "vcd";
|
|
}
|
|
|
|
/* Scan the extended arguments, looking for flags that select
|
|
major features. This can override the environment variable
|
|
settings. */
|
|
vpi_get_vlog_info(&vlog_info);
|
|
|
|
for (idx = 0 ; idx < vlog_info.argc ; idx += 1) {
|
|
|
|
if (strcmp(vlog_info.argv[idx],"-lxt") == 0) {
|
|
dumper = "lxt";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-lxt-space") == 0) {
|
|
dumper = "lxt";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-lxt-speed") == 0) {
|
|
dumper = "lxt";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-lxt-none") == 0) {
|
|
dumper = "none";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-lxt2") == 0) {
|
|
dumper = "lxt2";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-lxt2-space") == 0) {
|
|
dumper = "lxt2";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-lxt2-speed") == 0) {
|
|
dumper = "lxt2";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-lxt2-none") == 0) {
|
|
dumper = "none";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-vcd") == 0) {
|
|
dumper = "vcd";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-vcd-off") == 0) {
|
|
dumper = "none";
|
|
|
|
} else if (strcmp(vlog_info.argv[idx],"-vcd-none") == 0) {
|
|
dumper = "none";
|
|
|
|
}
|
|
}
|
|
|
|
if (strcmp(dumper, "vcd") == 0)
|
|
sys_vcd_register();
|
|
|
|
else if (strcmp(dumper, "VCD") == 0)
|
|
sys_vcd_register();
|
|
|
|
else if (strcmp(dumper, "lxt") == 0)
|
|
sys_lxt_register();
|
|
|
|
else if (strcmp(dumper, "LXT") == 0)
|
|
sys_lxt_register();
|
|
|
|
else if (strcmp(dumper, "lxt2") == 0)
|
|
sys_lxt2_register();
|
|
|
|
else if (strcmp(dumper, "LXT2") == 0)
|
|
sys_lxt2_register();
|
|
|
|
else if (strcmp(dumper, "none") == 0)
|
|
sys_vcdoff_register();
|
|
|
|
else if (strcmp(dumper, "NONE") == 0)
|
|
sys_vcdoff_register();
|
|
|
|
else {
|
|
fprintf(stderr, "system.vpi: Unknown dumper format: %s\n",
|
|
dumper);
|
|
sys_vcd_register();
|
|
}
|
|
}
|
|
|
|
void (*vlog_startup_routines[])() = {
|
|
sys_convert_register,
|
|
sys_fileio_register,
|
|
sys_finish_register,
|
|
sys_deposit_register,
|
|
sys_display_register,
|
|
sys_plusargs_register,
|
|
sys_random_register,
|
|
sys_random_mti_register,
|
|
sys_readmem_register,
|
|
sys_time_register,
|
|
sys_lxt_or_vcd_register,
|
|
0
|
|
};
|
|
|
|
|
|
/*
|
|
* $Log: sys_table.c,v $
|
|
* Revision 1.25 2004/06/09 22:14:10 steve
|
|
* Move Mersenne Twister to $mti_random, and make
|
|
* the standard $random standard. Also, add $dist_poisson.
|
|
*
|
|
* Revision 1.24 2004/01/21 01:22:53 steve
|
|
* Give the vip directory its own configure and vpi_config.h
|
|
*
|
|
* Revision 1.23 2003/10/30 04:52:54 steve
|
|
* Call register for fileio functions.
|
|
*
|
|
* Revision 1.22 2003/09/13 01:28:47 steve
|
|
* Disable lxt when zlib is missing.
|
|
*
|
|
* Revision 1.21 2003/09/01 04:04:03 steve
|
|
* Add lxt2 support.
|
|
*
|
|
* Revision 1.20 2003/03/07 02:44:34 steve
|
|
* Implement $realtobits.
|
|
*
|
|
* Revision 1.19 2003/03/06 20:04:42 steve
|
|
* Add means to suppress wveform output
|
|
*
|
|
* Revision 1.18 2003/02/20 00:50:06 steve
|
|
* Update lxt_write implementation, and add compression control flags.
|
|
*
|
|
* Revision 1.17 2002/08/12 01:35:05 steve
|
|
* conditional ident string using autoconfig.
|
|
*
|
|
* Revision 1.16 2002/04/07 04:37:53 steve
|
|
* Add $plusargs system functions.
|
|
*
|
|
* Revision 1.15 2002/04/06 21:33:29 steve
|
|
* allow runtime selection of VCD vs LXT.
|
|
*
|
|
* Revision 1.14 2002/03/09 21:54:49 steve
|
|
* Add LXT dumper support. (Anthony Bybell)
|
|
*
|
|
* Revision 1.13 2001/09/30 16:45:10 steve
|
|
* Fix some Cygwin DLL handling. (Venkat Iyer)
|
|
*
|
|
* Revision 1.12 2001/07/25 03:10:50 steve
|
|
* Create a config.h.in file to hold all the config
|
|
* junk, and support gcc 3.0. (Stephan Boettcher)
|
|
*/
|
|
|