RE: [sv-ec] opinions on $exit

>The case I was thinking about is when a task with a $exit call is
>defined inside a package, and then called from a module or program
>block. The $exit would only have an effect when called from a program
>block.

From section 16.5: "Calling program tasks or functions from within
design modules is illegal and shall result in an error."

So it is not legal for a module to call a program task.  If it is
not legal to put $exit anywhere except in a program, then it is
not possible to call $exit from a module thread.

I would expect that for a task inside a package to contain $exit,
it would have to be declared in an anonymous program block.  That
would make it a program task, and illegal to call from a module.
So again, it is impossible to call $exit from a module thread.

Steven Sharp
sharp@cadence.com