ISSUE 606

Add Proposal  Add Analysis  Edit Class, Environment, or Release
Number 606
Notify-List
Category errata
Synopsis vpiReset is normative but $reset is information (same issue with $save)
State open
Class errata-ptf
Arrival-DateJul 26 2004
Originator Francoise Martinolle
Release
Environment
Description
$reset and $save $restart are all optional informative tasks
described in annex C, however the VPI related callbacks and
control constant vpiReset are normative.
I suggest that we describe the behaviour of the VPI related features dependent on the support of the optional functionality from the simulator.
Fix
Proposal is:

in section 27.3 (vpi_control) to replace:
vpiReset causes the $reset built-in Verilog system task to be executed upon return
of the user function.

with:
vpiReset if $reset is supported by the tool, causes the $reset built-in Verilog system task to be executed upon return
of the user function, otherwise it has no effect.

Additionally in section 27.33.3:
Create a new category of optional callbacks which would contain the save, restart and reset callbacks.

Proposal:
Replace:
Examples of possible feature related callbacks are
cbStartOfSave Simulation save state command invoked
cbEndOfSave Simulation save state command completed
cbStartOfRestart Simulation restart from saved state command invoked
cbEndOfRestart Simulation restart command completed
cbEnterInteractive Simulation entering interactive debug mode (e.g., $stop system task
executed)
cbExitInteractive Simulation exiting interactive mode
cbInteractiveScopeChange Simulation command to change interactive scope executed
cbUnresolvedSystf Unknown user-defined system task or function encountered
With:

List of standard feature related callbacks:
cbEnterInteractive Simulation entering interactive debug mode (e.g., $stop system task
executed)
cbExitInteractive Simulation exiting interactive mode
cbInteractiveScopeChange Simulation command to change interactive scope executed
cbUnresolvedSystf Unknown user-defined system task or function encountered

List of optional feature related callbacks (note the support of the following callbacks is dependent on the support of the feature by the tool)
cbStartOfSave Simulation save state command invoked (e.g $save, $incsave system task invoked)
cbEndOfSave Simulation save state command completed
cbStartOfRestart Simulation restart from saved state command invoked (e.g $restart system task invoked)
cbEndOfRestart Simulation restart command completed
cbStartOfReset Simulation reset to time 0 command invoked(e.g $reset system task executed)
cbEndOfReset Simulation reset to time 0 completed

Unformatted

Hosted by Boyd Technology