iverilog/vpi
Cary R 1aa4394d75 Check the random function seed type and a fix to handle time variables.
The standard states that the seed for the random functions should be
an integer/time variable or a register. This patch fixes the compiletf
routines to check for this. There is also a small patch to
vvp/vpi_signal.cc that removes an assert that was failing and replaces
it with appropriate code. The assert was verifying that the source was
not bigger than an integer. The problem with this is that a time
variable or register may be bigger than an integer. I altered the code
to remove the assert and copy only the lower (8 * sizeof integer) bits.
The potential overflow/loss of precision is not checked. This passes
the regression tests.
2007-07-25 21:36:06 -07:00
..
.cvsignore Give the vip directory its own configure and vpi_config.h 2004-01-21 01:22:51 +00:00
Makefile.in Administrative/Makefile fixes, mostly for windows. (Cary R.) 2007-02-06 05:07:31 +00:00
configure.in Better configuration messages (Alan Feldstein) 2007-05-16 23:59:12 +00:00
lxt2_write.c Clean up spurious trailing white space. 2004-10-04 01:10:51 +00:00
lxt2_write.h Clean up spurious trailing white space. 2004-10-04 01:10:51 +00:00
lxt_write.c Clock compression fix from Tony. 2005-02-19 16:45:01 +00:00
lxt_write.h Clean up spurious trailing white space. 2004-10-04 01:10:51 +00:00
mt19937int.c Clean up spurious trailing white space. 2004-10-04 01:10:51 +00:00
priv.c Include sys_priv.h instead of priv.h 2003-10-06 21:26:27 +00:00
stringheap.c Give the vip directory its own configure and vpi_config.h 2004-01-21 01:22:51 +00:00
stringheap.h Make lxt use stringheap to perm-allocate strings. 2003-02-13 18:13:28 +00:00
sys_convert.c VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
sys_deposit.c Delay compiletf until bindings are complete 2007-07-24 18:24:24 -07:00
sys_display.c [PATCH] Update vpiFinish arguments to be in correct range. 2007-07-19 17:35:40 -07:00
sys_fileio.c [PATCH] Update vpiFinish arguments to be in correct range. 2007-07-19 17:35:40 -07:00
sys_finish.c Pass the finish and stop system task argument correctly. 2007-07-20 14:01:35 -07:00
sys_lxt.c VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
sys_lxt2.c VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
sys_plusargs.c Update the files to use vpi_control vs vpi_sim_control. 2007-07-19 17:29:05 -07:00
sys_priv.h VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
sys_random.c Check the random function seed type and a fix to handle time variables. 2007-07-25 21:36:06 -07:00
sys_random_mti.c VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
sys_readmem.c VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
sys_readmem_lex.h conditional ident string using autoconfig. 2002-08-12 01:34:58 +00:00
sys_readmem_lex.lex ifdef idents correctly. 2003-08-26 16:26:01 +00:00
sys_scanf.c Fix scanf to abort on failed matches. 2007-04-16 00:09:58 +00:00
sys_table.c Add the scanf functions. 2006-08-03 05:06:04 +00:00
sys_time.c VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
sys_vcd.c VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
sys_vcdoff.c VPI tasks take PLI_BYTE* by the standard. 2007-03-14 04:05:51 +00:00
system.sft Add missing probabilistic functions and compiletf routines. 2007-07-20 13:54:49 -07:00
vcd_priv.c Clean up spurious trailing white space. 2004-10-04 01:10:51 +00:00
vcd_priv.h Make lxt use stringheap to perm-allocate strings. 2003-02-13 18:13:28 +00:00
vpi_config.h.in Make sure file64 support is on cc -D flags. 2004-01-26 21:52:46 +00:00