From: etf@boyd.com
Date: Wed Feb 25 2004 - 14:46:15 PST
After the last paragraph of both sections, add the following
paragraph:
After a restart or a reset, subsequent calls to
vpi_get_userdata() shall return NULL. It is the
application's responsibility to save the data during a
save using vpi_put_data() and to then retrieve it using
vpi_get_data(). The user data field can be setup again
during or after callbacks of type cbEndOfRestart or
cbEndOfReset.
http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&database=default&pr=516
This archive was generated by hypermail 2.1.4
: Wed Feb 25 2004 - 14:46:16 PST
and
sponsored by Boyd Technology, Inc.