Re: gEDA-user: Save/Restart Features in Verilog 2001?

[Paul Michael Hartke <phartke@Stanford.EDU>]

I am referring to Section C.8 of IEEE Std 1364-2001:

"C.8 $save, $restart, and $incsave Three system tasks $save, $restart, and
$incsave work in conjunction with one another to save the complete state
of simulation into a permanent file such that the simulation state can be
reloaded at a later time and processing can continue where it left off."

However, I see that annex is prefaced with "The system tasks and functions
described in this annex are for informative purposes only and are not part
of the IEEE standard Verilog HDL."

I guess I am unclear how all the save/restart VPI pieces
(vpi_get_data()/vpi_put_data(), cbStartOfSave/cbEndOfSave,
cbStartOfRestart/cdEndOfRestart) listed in that document work if there is
no officially defined $start/$restart system tasks to activate those
functions.

	Thanks.
	Paul

> phartke@Stanford.EDU said:
> > I was wondering if Icarus Verilog supports the new Verilog 2001 $save
> > and $restart checkpointing features.  If not, is there a method that
> > people use to get a similar capability?
> 
> It does not, and for the record I do not believe checkpointing
> is a 2001 feature. It is probably specific so some other compiler
> that you have used. At least, I can't find it anywhere in the
> standard. Correct me if I missed it.
> 
> I'm not sure how one would implement checkpoints in vvp, or even
> what it saves. It's a slippery can of worms, for sure:-(
> 
> -- 
> Steve Williams                "The woods are lovely, dark and deep.
> steve at icarus.com           But I have promises to keep,
> steve at picturel.com         and lines to code before I sleep,
> http://www.picturel.com       And lines to code before I sleep."
> 
> abuse@xo.com
> uce@ftc.gov
>